二难推理：
若p→q、¬p→q同真，则q必真。
归谬法：
若p→q、p→¬q同真，则p必假
反证法：
若¬p→q、¬p→¬q同真，则¬p必假，即p必真。
微信
点我咨询
联系电话
07713110323
微信
联系电话