我看高中数学课本写的是假定p的，但是q是不对的然後逐步推演，然後得到与已知 相矛盾的结果 EX 已知n为正整数。证明 n^2为奇数，则 n必为奇数 假定 ~q 所以n为偶数 则 n = 2k 得到n^2 = (2k)^2 = 4k^2 但4k^2为偶数与假设矛盾 所以n为奇数。 我知道若 p 则 q.........~q 则 ~p 若 妈妈 则 女人.....非女人 则 非妈妈 以反证法来说的话 一开始假定 非女人 逐步推演得到 非妈妈与假设矛盾 所以所以妈妈是女人 我的疑问就是~q 推论本来就会得到~p 从哪一点来说p 则 q 呢? 不知道哪里可以说是得证呢 劳烦指导~ <(_ _)> --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 123.192.104.227