帰謬法とは？

きびゅうほう

仮定が真であると仮定して矛盾を導くことで、その仮定が偽であることを示す証明法です。

帰謬法（背理法、reductio ad absurdum）とは、ある命題 P を証明する際に ¬P を仮定し、そこから矛盾（P ∧ ¬P）を導くことで ¬P が偽であることを示し、したがって P が真であると結論する証明手法である。「√2 が無理数である」の証明がその典型例とされる。古典論理では普遍的に用いられるが、直観主義論理では制限がある。