基礎知識

以前、乃木坂46さんの曲「いつかできるから今日できる」を題材にさせていただき、必要十分条件に関する基礎知識について解説しました。

【基礎知識】乃木坂46の「いつかできるから今日できる」から学ぶ必要十分条件

今回はその続編として、命題の逆・裏・対偶について学んでいきましょう。

日本語には「逆もまた真なり」ということわざがありますが、命題でいうところの逆はそれとは意味合いが異なります。

それぞれについて説明していきましょう。

いつかできるから今日できる(通常盤)

逆・裏・対偶とは

2つの条件において、命題「ならば」を考えます。

逆とは

命題「ならば」を命題「ならば」の逆といいます。

つまり、仮定と結論を入れ替えた命題を、もとの命題の逆といいます。

裏とは

裏を考える前にまず、否定について説明します。

否定とは

否定とは、それではないもののことです。
つまり「である」の否定は「でない」であり、これをと表します。

裏とは

命題「ならば」を命題「ならば」の裏といいます。

つまり、仮定と結論を否定した命題を、もとの命題の裏といいます。

対偶とは

命題「ならば」を命題「ならば」の対偶といいます。

つまり、仮定と結論の逆を否定した命題を、もとの命題の対偶といいます。

もとの命題が真のとき、逆が真とは限らない

必要十分条件についての記事で、命題「ならば」について、とを入れ替えた命題が真であればはの必要条件であるというお話をしました。

命題「パンダは動物である」は真であり、その逆は「動物はパンダである」になります。
動物には犬や猫など様々な種類がありますので、動物だからといってパンダとは限らないことから、逆は偽になります。

このようにもとの命題と逆の真偽は一致するとは限りません。

対偶の真偽はもとの命題の真偽と一致する

逆・裏・対偶について、最も重要なことは、

という事です。

証明してみましょう。

対偶の真偽がもとの命題の真偽と一致することの証明

命題の真偽は集合を用いて判断することができました。
との集合をとします。

pならばqが真であるとき

ならばが真であるとき、下のような図で表すことができます。

でない部分（黄色全部）は、でない部分（黄色全部と赤色の一部）に含まれています。

よって、ならばは真、つまりもとの命題の真偽と対偶の真偽が一致しています。

pならばqが偽であるとき

この場合はさらに3つの場合に分類されます。

PがQを含まないが、PとQの共通部分があるとき

でない部分（黄色全部と青色の一部）は、でない部分（黄色全部と赤色の一部）に含まれていません。

よって、ならばは偽、つまりもとの命題の真偽と対偶の真偽が一致しています。

PとQの共通部分がないとき

でない部分（黄色全部と青色全部）は、でない部分（黄色全部と赤色全部）に含まれていません。

よって、ならばは偽、つまりもとの命題の真偽と対偶の真偽が一致しています。

PがQを含むとき

でない部分（黄色全部と青色の一部）は、でない部分（黄色全部）に含まれていません。

よって、ならばは偽、つまりもとの命題の真偽と対偶の真偽が一致しています。

以上により「対偶の真偽がもとの命題の真偽と一致すること」が証明されました。

逆と裏の真偽は一致する

もとの命題を「ならば」とするとき、
逆は「ならば」、
裏は「ならば」
となります。
ここで逆の対偶を考えてみてください。

逆の対偶は裏と同じであることがわかると思います。

対偶の真偽は一致するので、つまり、逆と裏の真偽は一致することになります。

「いつかできるから今日できる」の逆・裏・対偶を考える

逆は仮定と結論を入れ替えれば良いだけですが、裏と対偶については否定を考える必要があります。
まずは「いつかできる」と「今日できる」の否定が何であるかを考えましょう。

「いつかできる」の否定

「いつかできる」の否定を単純に考えると「いつかできない」になります。

しかし、「いつかできない」では意味がわかりませんよね？
単純に考えた否定「いつかできない」を理解しやすいように考えていきましょう。

「いつかできる」とは、今から未来永劫までの期間にはできるということを意味します。
過去には戻れませんから、今から先のことだけを考えます。
時間を数直線にし、「いつかできる」を図にすると下のようになります。

つまり、「いつかできる」ならば、時間軸のどこかに「できた」瞬間の点が存在することになります。
これを否定すると次の図のようになります。

「できた」瞬間の点が存在しなければ「いつかできる」ことにはなりませんので、「いつかできる」の否定は「未来永劫にできない」となります。

「今日できる」の否定

これについては簡単で、「今日できない」が成立すれば良いです。
「今日できない」は「いつかできない」とは違って、すんなり状況が把握できます。
このような場合は単純に否定文にするだけで、論理としての否定を作ることができます。

「今日できる」は「いつかできる」とは異なり、「今日」という日しか対象としていませんので、「今日」に限りできなければ良いことになります。
よって「今日できない」と言うだけで「今日できる」ことを否定することができます。

「いつかできるから今日できる」の逆・裏・対偶の真偽

まずは「いつかできるから今日できる」の逆・裏・対偶を文章で表しましょう。次のようになります。

直感的にすぐに真だとわかるものはどれでしょうか？
この例の場合は、裏：「未来永劫にできないから今日できない」がわかりやすいですね？

そもそもできないものは今日できるはずがありません。よって、裏は真になります。
それと同時に裏の対偶である、逆：「今日できるからいつかできる」も真になります。

もとの命題とその対偶については、対偶のほうがわかりやすいかと思います。
一般に、「今日できない」からといって「未来永劫にできない」とは言えないことが多いと思います。

例えば、用事があるとか、体調が優れないとか、いくらでも「今日はできない」理由は思いつきますね？

よって、対偶：「今日できないから未来永劫にできない」は偽であり、元の命題も偽になります。

逆・裏・対偶の説明の終わりに

いかかでしたか？逆・裏・対偶について理解できたでしょうか？

対偶を知ると、「いつかできるから今日できる」は「今日できないから未来永劫にできない」と同じ意味であることが理解できるようになります。
つまり、「いつかできるから今日できる」が偽であることは、「今日できないから未来永劫にできない」を偽だと言っていることと同じになるのです。

これは乃木坂46さんからの「今日できなくても諦めてはいけないよ。ずっとできないわけではないんだから、頑張っていこうよ。」というエールと捉えることができるのです。

「いつかできるから今日できる」が偽であることは残念なことのように聞こえてしまう気がしますが、「今日できないから未来永劫にできない」が偽であることは前向きな気分になりますよね？

両者とも同じことを言っているのに不思議なものですが、「物は言いよう」ということなのでしょう。

これからも乃木坂46さんの「いつかできるから今日できる」を聞いて、日々精進していきましょう。

【基礎】集合と命題のまとめ