构造真值表的步骤
- 第一行:按从简到繁的顺序写出所有子公式,最后一列是命题公式本身
- 为每一个命题变元指派,按二进制加法的顺序,从000开始到111结束
- 得出每个子公式的真值,进而得出命题公式的真值
构造真值表: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) 。