背理法

词语解释

一种逻辑上的推证法。对于一不易证明的命题，先证明其否定命题为矛盾，才肯定此命题为真的逻辑推证法。