真值表方法

---

命题逻辑中的一种判定程序。

在命题逻辑中，构造为真值函数的复合命题的真值，是由它的原子命题的真值确定的。为了判定一公式是否为一重言式或矛盾式，我们列出其命题变元真值的所有可能的组合(一般地，n个命题变元真值的所有可能组合是2n个)，一公式是重言式当且仅当它在每一组真值指派下都真；是矛盾式当且仅当在每一组真值指派下都假。

在真值表中，通常以“1”表示真，以“0”表示假。

例如，用真值表方法判定公式

是否为重言式：

复合公式的真值如下求出：

第一行：

第二行：

第三行：

第四行：

所以，该公式是重言式。