method of logical proof 逻辑证明方法
Aristotle observed the practical reason type of logical proof when he constructed the syllogism system.
亚氏在构造三段论体系时就注意到了实践推理这种逻辑论证类型。
参考来源 - 弗协调逻辑应用于道义逻辑的研究·2,447,543篇论文数据,部分数据来源于NoteExpress
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 when each logical step has been checked by other mathematicians will the proof be accepted.
只有在每个逻辑步骤都由其他数学家验证之后,该证明才会被接受。
应用推荐