[数]?反证法

这方法叫反证法(proof by contradiction)，是数学上一个颇常用的方法。这方法的特色就是由一个假设开始。

?归谬法

...所要求证的状况的反面只有一种情形，只要断定该种状况不成立就可以得证，这种反证法又叫做「归谬法（proof by contradiction）；相反，如果所要求证的状况的反面不止一种，则必须一一把那些状况驳倒，才能断定所要求证者为真，这种反证法叫做「穷举法（pr...