ある命題「p=>q」を証明する（真と判定）のにその命題が成り立たない（偽である）と仮定して矛盾が生じることを示して真であることを主張する方法。
$$ \sqrt{２} は無理数 $$
$$
( ｘ = \sqrt{２}である )ならば（ ｘは無理数 ）
$$
背理法より
「ｘは有理数」と仮定する
$$\sqrt{２} = \frac{ｎ}{ｍ} $$
（ｍとｎは既約）とおく
$$２ ｍ^２ = ｎ^２\rightarrow 2m ^2 = n ^2（偶数）$$
より
$$ｎ = ２ℓ（偶数） $$
$$
２ ｍ^２ = ｎ^２ = （２ℓ）^２ = ４ℓ ^２
$$
$$
ｍ ^２ = ２ℓ ^２ （偶数）
$$
$$
\sqrt{２} = \frac{ｎ}{ｍ} = \frac{２ℓ}{２ｋ}（約分できる）
$$
→矛盾
したがって√２は無理数