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