※ 引述《magic83v (R7)》之铭言：
: https://i.imgur.com/B1Uw9Eb.jpg
: https://i.imgur.com/2DscOY2.jpg
: 看不太懂这段证明在做什么
: 推到最后一句就说矛盾
: 是拿题目当已知 跟题目矛盾的意思吗？
: 感谢
今有一命题 p => q
反证法： 设 ~q 成立 => ~p 成立，QED
矛盾证法： 已知 p，设 ~q 成立 => ~p 成立，