背理法

証明したい命題の反対の命題を作り、それが成立すると仮定すると、矛盾が現れること、公理と定理に反することを示す。

反対の命題は必ず完全な反対でなければならない。(Aの完全な反対は not A である。)

命題の結論が2値の場合は反対の命題は単純だが、それ以上になると複雑になる点に注意。