※ 引述《sarsenwen (毕业就好)》之铭言： : 证明质数有无限多个 : 就是先假设质数有有限个 : 然後进行推理 推到矛盾的结论 : 但为什麽"得到矛盾"可以推到"质数有无限多个" : 中间似乎有过程跳跃 : 我想知道怎麽跳跃的? : 也就是怎麽证明"反证法"可行? 以普通的想法,反证法是定义一个前提 P, 然後推导过程中搞出个矛盾, 最简单的是搞出 ~P, 因为 P 跟 ~P 都存在所以不成立. 於是 P 不可为前提. *反过来说*, ~P 是前提. 这「反过来说」的跳跃应该不大. 另外我觉得高一层次的辩论方法有些可怕. 在一些讨论的场合,诡辩的人可以 随口说基本的证明方法本身需要被怀疑,而一举否定了一些在证明方法中判定为 成立的论证. 诡辩的人会说那个不可信,却不亲身证明那个究竟可信不可信. --

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