※ 引述《magic83v (R7)》之銘言：
: https://i.imgur.com/B1Uw9Eb.jpg
: https://i.imgur.com/2DscOY2.jpg
: 看不太懂這段證明在做什麼
: 推到最後一句就說矛盾
: 是拿題目當已知 跟題目矛盾的意思嗎？
: 感謝
今有一命題 p => q
反證法： 設 ~q 成立 => ~p 成立，QED
矛盾證法： 已知 p，設 ~q 成立 => ~p 成立，