propositional calculus

命题演算：一种逻辑系统
常用释义
命题演算：一种逻辑系统，用于处理命题的真值和关系，通常用于分析和推理复杂的命题结构。

扩展信息

命题演算
英语词汇-数学词汇_专业词汇 ... proposition 命题 propositional calculus 命题演算 propositional inference 命题推演 ...
命题代数
...(Venn图)、真值表(truth table)、命题代数(propositional calculus)，来判断命题的真伪(true or fail)，以及推论的有效性(validity; ...
命题演算系统
...辑(modal logic)系统内；这种逻辑建基於命题演算系统(propositional calculus)，并受到其后之哲学家的重视。

例句

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

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

同义词

[数]命题演算
calculus of proposition