Can you produce a logical proof that what's happened in the past will happen in the future?
关于过去发生的事情会在未来发生，你能提供逻辑上的证明么？
The paper agrees that only logical proof can be criterion of modern mathematical truth, and also discusses that logical proof is an action of practice.
本文同意逻辑证明是检验现代数学真理的唯一标准，同时也讨论了逻辑证明是一种实践活动的问题。
Only few students can give a right logical proof. (5) The boys'understanding of proof is better than the girls', the girls focus on the form of proof, while the boys focus on logic in proof.
相对而言，男生对证明的理解比女生要好，女生更容易受到证明形式的影响，而男生更关注的是论证的逻辑方面。
Only when each logical step has been checked by other mathematicians will the proof be accepted.
只有在每个逻辑步骤都由其他数学家验证之后，该证明才会被接受。
The paper compares the differences in the standards of proof between China and the West countries and puts forward the logical warranty of verdict about the standards of proof.
本文对中国和西方现行的民事诉讼的证明标准进行了对比分析，提出了判断证明标准良莠的科学依据。
At the same time implemented machine proof of some mathematical theorems (Group theory) and logical Inference of statements.
与此同时，实现了一些数学(群论)定理的机器证明，命题的逻辑推演等。
From a logical perspective to address the issue of standards of proof so that probability becomes the ultimate expression of conclusion, quantified in litigation proved is achievable.
从逻辑的视角来解决证明标准问题，使概率成为证明结果的最终表达方式，量化不再是诉讼证明中无法翻越的高山。
This article from the logical and objective proof of the existence of life is the essence of the resonance cell.
本文从逻辑推理和客观存在证明生命的本质是细胞共振。
Nowadays, the teaching and learning of geometric proof plays an important role in the middle school period, and it is a significant way to develop students' abilities of logical thinking.
目前，我国几何证明教学在初中阶段占有重要的地位，是培养学生逻辑思维能力的重要途径。
Actually, Presumption not only results from the experience and logical rule, but also is restricted by the elements of value. So, it agrees with the real law standards of proof.
事实上推定不仅根植于经验常识和逻辑规则，它还受到价值因素的制约，所以与司法证明的法律真实标准是有着契合之处。
DT Part IV "program specification and proof" describes how to apply your logical understanding to a real computer science problem, the accurate description and verification of programs.
DT IV部分“程序说明书和证据”描述怎样把你的合乎逻辑的理解用于一个真正的计算机科学问题，计画的准确的描述和证实。
There are three characters in the writing paradigm of the contemporary Chinese theory aesthetic history: It is emphasizing logical reasoning proof, unifying the history and logic;
中国审美理论美学史写作范式的特点有三：强调逻辑推理论证，注重历史与逻辑的统一；
There are three characters in the writing paradigm of the contemporary Chinese theory aesthetic history: It is emphasizing logical reasoning proof, unifying the history and logic;
中国审美理论美学史写作范式的特点有三：强调逻辑推理论证，注重历史与逻辑的统一；
应用推荐