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

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

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