拼音bèi lǐ fǎ
注音ㄅㄟˋ ㄌㄧˇ ㄈㄚˇ
一種邏輯上的推證法。對於一不易證明的命題，先證明其否定命題為矛盾，才肯定此命題為真的邏輯推證法。
超级辞典收录超过八万个汉字，二十万个词语，基本涵盖了全部常用汉语的释义及用法，是汉语学习的有利工具。