用真值表来验证（p→（q∧¬q））┝¬p是否为有效式。
演绎推理（二）：基于命题推理——假言推理 五、分析题（本大题共5小题，每小题5分，共25分。）
◎欢迎参与讨论，请在这里发表您的看法、交流您的观点。
