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