这方法叫反证法(proof by contradiction)，是数学上一个颇常用的方法。这方法的特色就是由一个假设开始。
基于5659个网页-相关网页
归谬法 / 反证法（ reductio ad absurdum ），其前提是不矛盾律。就是说，如果发生自相矛盾，则证明命题（前提）是假的。
基于840个网页-相关网页
... proof by contradiction反证法; 归谬法 proof by contrapositive反证法 proper fraction真分数 ...
基于290个网页-相关网页
...数法，消去法，反证法 [gap=2478]cient method, mathematical induction, parameters method, process of elimination, apagoge ...
基于260个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
通过反证法，不存在一个程序，能像传说中的P一样运行。
By reductio, there cannot possibly be a procedure that acts like the mythical P.
没人能用反证法或者重造历史来说服大众——说明某事也许会发生。
You can’t prove a negative nor recreate history to show what might have been.
议论文写作中，利用反证法常能很好地驳斥对方论点并树立自己的论点。
Using rebuttals of evidence in an argumentative paper can both attack the arguments of your opponents and support your own ones.
应用推荐