集合の単元では、命題の対偶を確かめる方法、そしてここで説明していく背理法とよばれる方法を用いて証明を行うパターンが多いですので、この背理法もしっかりマスターしていきましょう。


まず、そもそも背理法とは？ですが。

命題：「p⇒q」

を証明するのに用いる、証明法の１つです。
背理法を使った証明は、以下の手順をおってやります。流れは１通りと決まっていますので、まずは証明の流れをおさえるようにしましょう。


「」と仮定する。


「」を証明する過程で、「」が成り立たないことを発見する。（矛盾を発見する）


矛盾があるということは、そもそも「」とした仮定が間違っているのではないか。


は間違いだから、「」は正しい。



背理法は、様々な問題を解くことで身に付いていきますので、早速、練習問題を通して、背理法になれていきましょう。