mathematical logic

基本解释

I learn the formulas that have been proved by mathematical logic and empirical evidence.
我学到的是已经被数学推理和实际经验所证明的公式。
Watzlawick et al. selected two theories from the field of mathematical logic on which to base their beliefs about change.
罗瓦兹拉威克等人选择了两个来自于数学逻辑领域的理论来作为他们对于变革的信念的根基。
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.
巴斯先生用来实现这一转化过程的工具是线性时序逻辑，一种可以表达过去和未来的详细约束的数理逻辑系统。

Those were all people who loved electricity and electronics and machines and mathematical logic.
FORBES: Steve Jobs' One Big Idea
Although Mr Quine has no important theorem to his name he wrote on mathematical logic with ingenuity and wit.
ECONOMIST: Willard Quine
Willard Quine's early work was in the field of mathematical logic and set theory, the subject of half a dozen of his 23 books.
ECONOMIST: Willard Quine

数理逻辑
Consequently, the approach to the classical calculus of propositions fairly benefits the knowledge system of mathematical logic.
经典命题演算能行方法的给出,可以进一步发展数理逻辑的知识体系。
数学逻辑
数字逻辑