作图题

用真值表来验证（（﹁p→﹁q）∧p）├q 是否为有效式。

【正确答案】
P q ﹁p ﹁q ﹁p→﹁q （﹁p→﹁q）∧p （（﹁p→﹁q）∧p）├q
1 1 0 0 1 1 1
1 0 0 1 1 1 0
0 1 1 0 0 0 1
0 0 1 1 1 0 1

由上表可知， （（﹁p→﹁q） ∧p） ├q 不是永真式， 所以是无效式。

【答案解析】