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

用真值表来验证（（p→q）∧﹁q）├﹁p是否为有效式。
【正确答案】：答案见解析。
【题目解析】：

上述真值表如下：
[图1]
由上表可知：p→q，﹁q├﹁p为有效式。