propositional calculus

propositional calculus什么意思,propositional calculus翻译

基本解释

n.: 命题逻辑
网络: 命题演算；命题代数；命题演算系统

例句

• Construction propositional calculus and predicate calculus system, mathematical theorems derived from the logical axioms;

  构造命题演算系统和谓词演算系统，从逻辑公理推导出数学定理；

• Application of Wu"s Method in Propositional Calculus

  吴方法在命题逻辑中的应用