用真值表来验证（（﹁p→﹁q）∧p）├q是否为有效式。
（（﹁p→﹁q）∧p）├q的真值表如下：由上表可知，（（﹁p→﹁q）∧p）├q不是永真式，所以是无效式。
◎欢迎参与讨论，请在这里发表您的看法、交流您的观点。
由上表可知，（（﹁p→﹁q）∧p）├q不是永真式，所以是无效式。
