用真值表来验证（（P→q)∧¬p)┝¬q是否为有效式。

用真值表来验证（（P→q)∧¬p)┝¬q是否为有效式。
【正确答案】：由上图可知，（（p→q）∧¬p为无效形式。
【题目解析】：演绎推理（二）：基于命题的推理——假言推理 五、分析题（本大题共5小题，每小题5分，共25分。）