构建真值表

构造真值表的步骤

1. 第一行：按从简到繁的顺序写出所有子公式，最后一列是命题公式本身
2. 为每一个命题变元指派，按二进制加法的顺序，从000开始到111结束 
3. 得出每个子公式的真值，进而得出命题公式的真值

构造真值表：PΛQ

指派的列数:

设A为命题公式：

指派：对A中所有的命题变元指定一个真值——含有n个命题变元的命题公式，有组指派

真指派：使A的值为1的指派

假指派：使A的值为0的指派

例： P → Q

P=0，Q=0

P=0，Q=1

P=1，Q=0

P=1，Q=1

P → Q 有3个真指派，1个假指派，假指派是10

构造真值表：(PΛQ) →R

命题公式(PΛQ) →R的真指派有__7__个，假指派有__1__个。 命题公式(PΛQ) →R的假指派是_110_。

试题 

命题公式P∧Q的成真指派为_____，成假指派为_____。

【答案】11；00,01,10

命题公式P∨(Q∧¬R)的成真指派有_____个，成假指派有_____个。 

【答案】5；3

用列真值表的方法说明下列等价式成立： P→(Q→P) <=> ¬P→(Q→¬P) 

【答案】

从真值表可知， P→(Q→P) 与¬P→(Q→¬P) 的真值完全相同，所以 P→(Q→P) <=> ¬P→(Q→¬P) 。