5.論理と集合

5-1.命題・条件・集合

5-1-1.命題と条件

5-1-1-1.命題

命題について。

5-1-1-2.条件

条件について。

5-1-2.条件と集合

5-1-2-1.「ならば」を用いた命題

「ならば」を用いて表される命題について。

5-1-2-2.命題の逆

ある命題の逆命題とその真偽について。

5-1-2-3.必要条件・十分条件

必要条件と十分条件について。

5-1-2-4.否定

条件の否定について。

5-1-2-5.条件と集合

条件と集合について。「かつ」「または」を含む条件の否定について。

5-1-2-6.命題の対偶

命題の対偶とその真偽について。

5-2.命題と証明

5-2-1.間接的な証明法

5-2-1-1.対偶を利用する証明

対偶を利用する証明について。

5-2-1-2.背理法

背理法について。