背理法
背理法（はいりほう、英: proof by contradiction, reduction to the absurd, indirect proof, apagogical argument など、羅: reductio ad absurdum, RAA）とは、ある命題 P を証明したいときに、P が偽であることを仮定して、そこから矛盾を導くことによって、P が偽であるという仮定が誤り、つまり P は真であると結論付けることである。 帰謬法（きびゅうほう）とも言う。
背理法（はいりほう、英: proof by contradiction, reduction to the absurd, indirect proof, apagogical argument など、羅: reductio ad absurdum, RAA）とは、ある命題 P を証明したいときに、P が偽であることを仮定して、そこから矛盾を導くことによって、P が偽であるという仮定が誤り、つまり P は真であると結論付けることである。 帰謬法（きびゅうほう）とも言う。
背理法（はいりほう、英: proof by contradiction, reduction to the absurd, indirect proof, apagogical argument など、羅: reductio ad absurdum, RAA）とは、ある命題 P を証明したいときに、P が偽であることを仮定して、そこから矛盾を導くことによって、P が偽であるという仮定が誤り、つまり P は真であると結論付けることである。 帰謬法（きびゅうほう）とも言う。
出典: Wikipedia「背理法」 · CC BY-SA 4.0
この記事を共有: X · Bluesky