- 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語言