背理法
Contents
呼称
- 背理法、帰謬法 (proof by contradiction, reduction to the absurd, indirect proof, apagogical argument)
概要
背理法とは $P$ の否定が偽であることを示すことにより、$P$ が真であることを導く (間接的) 証明法のこと。背理法は排中律から導かれる。
Contents
背理法とは $P$ の否定が偽であることを示すことにより、$P$ が真であることを導く (間接的) 証明法のこと。背理法は排中律から導かれる。