定義を確認しましょう。これは基本になるのでしっかり覚えてください。次のように図式的に書いて,矢印の先は必要と覚えてもよいです。pが真であるか偽であるかということです。qの真偽の調べ方を確認しましょう。具体的な例で考えていきましょう。【例1】ぶどうと果物の関係を考えてみましょう。果物を考えるぶどうは果物です。ぶどうは果物だし,「植物」だし,......と,いろいろと言うことはできますが,そのうちの1つとしてぶどうならば果物ということは確実に言えます。ぶどうであることは果物であることを保障する十分な条件と言えますね。ぶどうを考える逆に,果物ならばぶどうとは言えません。果物には「りんご」,「いちご」,......と,ほかにもいろいろあるためです。ぶどうが偽であることがわかります。果物は,ぶどうであるための必要条件となります。【例2】次に,x2=1とx=1を考えてみましょう。x=1の真偽を調べます。x2=1を解くと,x=±1です。x2=1の真偽を調べます。