1.  reduction to absurdity
2.  proof by contradiction
3.  reductio ad absurdum

• 1. 反证法: proof by contradiction | reductio ad absurdum | apagoge
• 2. 反证法的: apagogical
• 3. 正反例证法: method of positive and negative cases

更多释义

• 1.通过反证法，不存在一个程序，能像传说中的P一样运行。
  By reductio, there cannot possibly be a procedure that acts like the mythical P.
  dict.yoduao.com
• 2.同时，通过简明反证法就上述观点给出了一种简单的证明。
  This article also put forward a simple and clear proof about the above viewpoint.
  dict.yoduao.com
• 3.没人能用反证法或者重造历史来说服大众——说明某事也许会发生。
  You can’t prove a negative nor recreate history to show what might have been.
  dict.yoduao.com

©2026 网易公司