用真值表来验证(p∨q)∧﹁q→p是否为有效式。
用真值表来验证(p∨q)∧﹁q→p是否为有效式。
【正确答案】:

上述真值表如下:
[图1]
由上表可知,(p∨q)∧﹁q→p为有效式。


Top