用真值表来验证（（P→q)∧¬p)┝¬q是否为有效式。
【正确答案】：由上图可知，（（p→q）∧¬p为无效形式。
【题目解析】：演绎推理（二）：基于命题的推理——假言推理 五、分析题（本大题共5小题，每小题5分，共25分。）
用真值表来验证（（P→q)∧¬p)┝¬q是否为有效式。
📱 扫码体验刷题小程序
扫一扫使用我们的微信小程序
热门题目
已复制到剪贴板
📱 扫码体验刷题小程序
扫一扫使用我们的微信小程序