手寫
ㄅㄟˋ　ㄌㄧˇ　ㄈㄚˇ bèi lǐ fǎ
1

一種邏輯上的推證法。對於一不易證明的命題，先證明其否定命題為矛盾，才肯定此命題為真的邏輯推證法。