0117名無SEA
05/03/18 12:35:16矛盾(ある命題とその否定が同時に証明されること)が起きることを利用する証明の手法である。
帰謬法ともいう。
例.「ビキニをはいてる男性は変態である」という命題の真偽について。
「ビキニをはいてる男性はすべて変態である」と仮定する。
水泳の選手の中には、練習時に競泳用の水着を着用している者が1人以上いる。
水泳の選手は別に変態ではない。
よって「ビキニをはいているが変態ではない男性がいる」ということになり、
仮定と矛盾する。
以上より、「ビキニをはいてる男性は変態である」という命題は偽であることが判明した。