※ 引述《sarsenwen (畢業就好)》之銘言： : 證明質數有無限多個 : 就是先假設質數有有限個 : 然後進行推理 推到矛盾的結論 : 但為什麼"得到矛盾"可以推到"質數有無限多個" : 中間似乎有過程跳躍 : 我想知道怎麼跳躍的? : 也就是怎麼證明"反証法"可行? 以普通的想法,反證法是定義一個前提 P, 然後推導過程中搞出個矛盾, 最簡單的是搞出 ~P, 因為 P 跟 ~P 都存在所以不成立. 於是 P 不可為前提. *反過來說*, ~P 是前提. 這「反過來說」的跳躍應該不大. 另外我覺得高一層次的辯論方法有些可怕. 在一些討論的場合,詭辯的人可以 隨口說基本的證明方法本身需要被懷疑,而一舉否定了一些在證明方法中判定為 成立的論證. 詭辯的人會說那個不可信,卻不親身證明那個究竟可信不可信. --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 61.231.66.208