今年もビキニだ！　でも浮きそう。　(Part2)

117 ：名無SEA：05/03/18 12:35:16 .net

背理法（はいりほう）とは、ある事柄 P を証明するために、P の否定を仮定すると、
矛盾（ある命題とその否定が同時に証明されること）が起きることを利用する証明の手法である。
帰謬法ともいう。

例．「ビキニをはいてる男性は変態である」という命題の真偽について。

「ビキニをはいてる男性はすべて変態である」と仮定する。
水泳の選手の中には、練習時に競泳用の水着を着用している者が１人以上いる。
水泳の選手は別に変態ではない。
よって「ビキニをはいているが変態ではない男性がいる」ということになり、
仮定と矛盾する。

以上より、「ビキニをはいてる男性は変態である」という命題は偽であることが判明した。