归谬法
guī miù fǎ
基本释义
  1. 证明定理的一种方法，先提出跟定理中的结论相反的假定，然后从这个假定中得出跟已知条件相矛盾的结果来，这样就否定了原来的假定而肯定了定理
英文翻译
  1. reductio ad absurdum
  2. arguing by contradiction
  3. also called 反证法