Consequently, the approach to the classical calculus of propositions fairly benefits the knowledge system of mathematical logic.
经典命题演算能行方法的给出,可以进一步发展数理逻辑的知识体系。
参考来源 - 经典命题演算的能行方法研究·2,447,543篇论文数据，部分数据来源于NoteExpress
以上来源于: WordNet
N symbolic logic, esp that branch concerned with the foundations of mathematics 数理逻辑
I learn the formulas that have been proved by mathematical logic and empirical evidence.
我学到的是已经被数学推理和实际经验所证明的公式。
The tool Mr Barth is employing to effect this transition is linear temporal logic, a system of mathematical logic that can express detailed constraints on the past and the future.
巴斯先生用来实现这一转化过程的工具是线性时序逻辑，一种可以表达过去和未来的详细约束的数理逻辑系统。
Watzlawick et al. selected two theories from the field of mathematical logic on which to base their beliefs about change.
罗瓦兹拉威克等人选择了两个来自于数学逻辑领域的理论来作为他们对于变革的信念的根基。
应用推荐