【正确答案】：能必然得出结论，因为相容选言推理否定部分选言支，可以肯定其他选言支。
【题目解析】：
（（p→q）∧p）├q的真值表如下：[图1]由上表可知，（（p→q）∧p）├q为永真式，所以是有效式。
用真值表来验证（（p→q）∧p）├q是否为有效式。
用真值表来验证（（p→q）∧p）├q是否为有效式。
【正确答案】：能必然得出结论，因为相容选言推理否定部分选言支，可以肯定其他选言支。
【题目解析】：
【正确答案】：能必然得出结论，因为相容选言推理否定部分选言支，可以肯定其他选言支。
【题目解析】：
📱 扫码体验刷题小程序
扫一扫使用我们的微信小程序