逻辑学证明题！求思路！求为什么你这样做！

Question

如题所述

Answer 1

一题看不清，我做二题，希望你能举一反三：
①｛1｝（A或B)→（C→（D→E)) P
②｛2｝C且D P
③｛3｝C或E→A P/∴E
④｛2｝C T②
⑤｛2｝D T②
⑥｛2｝C或E T④
⑦｛2.3｝A T③⑥
⑧｛2.3｝A或B T⑦
⑨｛1.2.3｝C→（D→E) T①⑧
⑩｛1.2.3｝D→E T④⑨
⑾｛1.2.3｝E T⑤⑩追问

先谢谢老师！虽然能看懂，但是如果自己做估计还不会。
这种题有没有共有的思路？就像解二元一次方程组的时候，总会先用只含x的式子表示y，再带入另一个式子解得。

追答

熟能生巧。
它的主要思路是“回溯思考”。就是从你的要得到的结论往上走。第一题很简单，他的形式大致是个“反三段论”。①a→b，②a→c，③非（b且c），待证命题非a。你可以引入辅助性命题④a，会得到b且c，恰好和③构成矛盾。归谬就成了。

追问

谢谢老师！我再多练练自然推理这一部分！^_^

追答

哦，少了个“非”。
①非a→b，②非a→c，③非（b且c），待证命题a。你可以引入辅助性命题④非a，会得到b且c，恰好和③构成矛盾。

追问

哦，刚刚直接看的解析，没发现不对题。。。好像也不是那么难