歸謬法，又叫背理法，是一種論證方式，它首先假設(shè)某命題不成立（即在原命題的條件下，結(jié)論不成立），然后推理出明顯矛盾的結(jié)果，從而下結(jié)論說(shuō)原假設(shè)不成立，原命題得證。

舉一個(gè)簡(jiǎn)單例子，證明：三角形的內(nèi)角中至多有一個(gè)鈍角。證明如下：假設(shè)三角形中內(nèi)角至少兩個(gè)鈍角，則三角形的三個(gè)內(nèi)角之和大于180°，與三角形的內(nèi)角和定理矛盾，故三角形的內(nèi)角中至多有一個(gè)鈍角。