眞値表

能确定命题逻辑的一个命题形式在它所包含的命题变元的各种真值组合下所取真值的图表。与5个基本命题联结词相应的命题形式，有下列的真值表：

p的表确定：在p取值时，p的值为⊥，p取值⊥时，p的值为。p∧q的表确定：在p和q都取值时，p∧q的值为，在p，q的其余3种取值情况下，p∧q的值都为⊥。其它3个命题形式的真值表类此。一切复合命题的命题形式，都是由命题变元应用5个基本命题联结词逐步构成的。因此，对每一命题形式，都可以应用上列的5个真值表而作出一个真值表，以确定它在命题变元的各种真值组合下的真值。

真值表提供了一种判定方法，用它可以判定一命题逻辑的命题形式是不是重言式。每一命题逻辑的命题形式都是一有穷长的公式，只包含有穷个命题变元。因此只有有穷多种不同的真值组合，2个变元有4种真值组合，n个变元有2种不同的真值组合；一命题形式中也只包含命题联结词的有穷次出现。因此，对任一命题逻辑的命题形式，总能机械地在有穷步内作出它的真值表。从而可以判明它的真值表的值是否都是；如果都是，它就是一重言式，否则就不是重言式。