うっちゃんチャットで確率クイズや論理クイズを出題している今日この頃です。あまり易しいものを出題するのはつまらないし、難しいものを出題すると誰もやってくれないかあるいは収集がつかなくなります。
さて、世の中には「論理的には正しいだろうけど、何か納得いかない（あるいは、そもそも題意がわからない）」という問題がたくさんありまして、これもそんな問題の一つです。
「Ａが鬼族ならばＡには角がある」ならば「Ａが鬼族でない、又は、Ａには角がある」であり、その逆もまた然り。本当かな？
「Ａが鬼族であるか否か」と「Ａには角があるか否か」の組み合わせは以下の４パターンです。
「Ａが鬼族ならばＡには角がある」について、(1)が真になるのは言うまでもありません。そして(2)は偽になります。意外かも知れませんが(3)(4)も真になります。(例えば)諸星あたるが鬼族でないならば、彼に角があろうとなかろうと「諸星あたるが鬼族ならば、諸星あたるには角がある」は真になるのです。
「Ａは鬼族でない、又は、Ａには角がある」は、(1)(3)(4)は真となり、(2)は偽になります。なぜならば、「鬼族でない」は(3)(4)を示し「角がある」は(1)(3)を示すからです。
以上より、「鬼族ならば角がある」は「鬼族でない、又は、角がある」と論理的には同じになります。