「雨天中止」の運動会、晴れたらどうする？

　これからする話、屁理屈と思うかもしれません。でも、本来の論理（数学的な論理、記号論理）はそういうものです。デジタルもそのような論理で動いています。ＡＩだって同じはずです。屁理屈でも何でも、楽しんで学んでいきましょう。
　さて、「雨天中止」の運動会、晴れたらどうする？　運動会を楽しみにしている立場からすると「晴れたら実施」するのが当然と思うかもしれません。でも、デジタル論理的にはそういうことにはなりません。
　「雨天中止」という言い方を命題『雨天 ⇒ 中止』（もし雨天ならば中止する）と捉えるなら、この命題は「晴天」の場合のことには何も触れていませんね。ですから、晴れた日に実施しても中止してもどこにも矛盾は無いわけです。
　一方で「小雨で実施」したら、その方が矛盾していることになります。小雨は「雨天」に違いないわけですから、「雨天 ⇒ 中止」の約束を守るためには「小雨でも中止する」のが筋だと言えます。デジタル論理的な解釈に従えば。
　まとめると、次のようになります。

　さらに一般的に表現すると次のようになります。（１が真、０が偽、Ｐが上の「雨天」に、Ｑが上の「中止」にあたる）

　⇒（ならば）の他に、∧（かつ）、∨（または）、¬（〜でない）についても真偽が定められていますが、意外としっくりこないのが ⇒（ならば）なんですね。
　日常の論理は暗黙の了解やいろんなニュアンスを含んでいて案外複雑。それに比べてデジタル論理は無味乾燥で機械的。屁理屈に見えても、それぞれ立派な論理です。

◇　　　　　　◇　　　　　　◇

　　　　　　　⇒（ならば）を腑に落とす
　　　▷　「雨天中止」の運動会、晴れたらどうする？
　　　▷　命題「1＞5 ⇒ 1＞3」は真か偽か？
　　　▷　⇒（ならば）について考える
　　　▷　論理式の練習問題