今回は、 「反例」 について学習しよう。
「ＡならばＢである」という命題において、 「Ａは満たすが、Ｂは満たさない」 例を「反例」というよ。
「ＡならばＢである」に「反する例」だから、「反例」だね。

以前、命題の真偽について学習したとき、 「一部しか正しくない場合」は「偽」 だと習ったよね。
言い換えると、 反例が１つでも 見つかれば、その 命題は「偽」 になるんだよ。

例えば、「ｘ＞１ならば、ｘ＝５である」という命題を考えよう。
このとき、ｘ＝２は、 「ｘ＞１は満たすが、ｘ＝５は満たさない」 よね。つまり、これが 「反例」 だよ。

反例が１つでも見つかった時点で、命題は「偽」 なんだ。