题目类型：
问答题
题目内容
用真值表来验证（p∨q）∧﹁q→p是否为有效式。
正确答案
上述真值表如下：
[图1]
由上表可知，（p∨q）∧﹁q→p为有效式。
上述真值表如下：
[图1]
由上表可知，（p∨q）∧﹁q→p为有效式。