数学专业英语 -- 数理逻辑入门

• mathematical logic 数理逻辑
• logical connectives 逻辑连词
• a simple proposition 简单命题，指含一个主语和一个动词的命题
• a necessary and sufficient condition 一个重要条件
• quantifier 量词
• inclusive a. 兼容的； exclusive a.互斥的 
• we are faced with ...我们遇到……
• greatest common divisor 最大公约数
• lowerest common multiple 最小公倍数
• proof of contrapositive 逆否证明 ，逆否命题的证明
• proof of contradiction 反证法
• calculus  计算；微积分 ;而微积分的全称：the differential and integral calculus  
• equivalent to ... 等价于……（这里的equivalent 作形容词）;equivalent of sth 某物的等价物（这里的equivalent作名词）
• truth values 真假值，逻辑值
• tautology 永真式，恒真式，重言式
• phrase in term of ... 用……语言来叙述
• method of elimination 消元法
• eliminate A from B 从B当中把A去掉
• rather than 而不  ;other than 除了……之外

---

• propositional a.命题的

propositional calculus 命题演算

propositional inference 命题推演

propositional connectives 命题连接词

propositional function 命题函数

propositional variable 命题变元

• statement n. 语句

statement function 语句函数

satement in programming 程序设计中的语句

• compound a.复合的

compound function 复合函数,相当于composite function

compound interest 复利

compound statement 复合语句

compound proposition 复合命题

• proof 证明

proof of consistency 一致性证明 

proof of contradiction 反证法

proof of induction 归纳证明

proof of theorem 定理证明

direct proof 直接证明

indirect proof 间接证明

• inference 推理，推论

inference formula 推理公式

inference of immediate 直接推理

inference of mediate 间接推理

inference of procedure 推理过程

inference rules 推理法则

• translation n. 翻译，平移

translation formula 平移公式

translation invariant 平移不变

translation principle 平移原理

translation transformation 平移变换

translation of programs 程序的翻译

translate v. 翻译；translate from A into B 把A语言翻译成B语言

​​​​​​​

 

---