Propositional calculus "Propositional calculus"的中文意思是"命题演算",我是在阅读wikipedia Calculus发现它的。 wikipedia Propositional calculus