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