背理法

拼音:bèi lǐ fǎ

意思:一种逻辑上的推证法。对于一不易证明的命题,先证明其否定命题为矛括才肯定此命题为真的逻辑推证法。