今回は、前回“論理・必要条件と十分条件・同値変形”の続き「矛盾・背理法」「背理法を用いた証明」「記号 ∀と∃の使い方」「∀と∃の入った命題」「真理集合」「必要条件・十分条件・必要十分条件」「同値変形」を講義した。
ある命題を証明するのに直接その命題を証明するのではなく、背理法を用いて証明することは、対偶を証明するのと同様に、一般に認められている証明方法である。しかしなぜそれで良いのかを答えられる人は少ない。しかし、その理由もわからずに背理法で証明しているとしたら、何も理解していないのと同じことである。今回はまず背理法による証明について講義し、「必要条件・十分条件・必要十分条件」「同値変形」の理解の重要性について講義した。
宿題は今日の復習をしっかりとして、次回復習テストで合格点をとれるようにしてくること。言うまでもないことだが、常に以前の学習内容の復習を怠らないようにすること。
