背理法

背理法　　　
注音ㄅㄟˋ ㄌㄧˇ ㄈㄚˇ 拼音 bèi lǐ fǎ
一種邏輯上的推證法。對於一不易證明的命題，先證明其否定命題為矛盾，才肯定此命題為真的邏輯推證法。