形式的には、背理法は含意命題以外の命題に対しても適用可能である。
ある命題を偽としたとき
前提としているすべての仮定（当然理論の前提となる公理も含む）、
およびそこから導き出されるすべての正しい命題主張のどれかと矛盾するなら
この命題は真であるということになる。