1.1.2 命题演算.pptVIP

Deren Chen, Zhejiang Univ. 1.1.2 命题演算 Propositional Equivalences 1、命题(Proposition) 2、从简单命题(atomic proposition)到 复合命题(compositional proposition) 3、从命题常量(propositional constant)到 命题变量(propositional variable) 4、从复合命题(compositional proposition)到 命题公式(propositional formulas) 永真命题公式（Tautology） 公式中的命题变量无论怎样代入，公式对应的真值恒为T。 永假命题公式（Contradiction) 公式中的命题变量无论怎样代入，公式对应的真值恒为F。 可满足命题公式（Satisfaction） 公式中的命题变量无论怎样代入，公式对应的真值总有一种情况为T。 一般命题公式（Contingency） 既不是永真公式也不是永假公式。 EXAMPLE 1 We can construct examples of tautologies and contradictions using just one propo