前回の論理学入門でいくつもの便りをいただきました。

大人だけでなく子ども達からのメールもありました。

もっと書いてほしいということもあったので、もう一つ「論理的に考えるたのしさ」ということで書かせていただきます。

こういうクイズを考えてみてください。

一郎はウソしかつきません。
二郎はホントウのことしかいいません。
三郎はいいかげんで、その時々です。

さて、こういう会話がありました。
どれが誰の言葉だかわかりますか？

Ａ．ボクは二郎ではない
Ｂ．ボクは三郎だ
Ｃ．ボクは一郎ではない

論理的に考えてみましょう。

まず「一郎はウソしかつかない」ということですから、もしも「Ａ．ボクは二郎ではない」という発言が一郎のものだとするとどうなるでしょう？

この時にも集合で利用する図（ベン図・ヴェン図／Venn diagram-ヴェン ダイヤグラム）が活躍します。
描くとこうです。
「二郎ではない」ということですから「私は一郎か三郎ですよ」というわけです。
これは正しいことを言っていることになってしまいます。

「一郎はウソしかつかない」のですから、「Ａ．ボクは二郎ではない」という言葉は一郎の発言ではありません。
とすると、一郎の言葉はＢかＣです。

Ｂ．ボクは三郎だ
Ｃ．ボクは一郎ではない

さて「二郎はホントウのことしか言わない」ということです。
すると

Ａ．ボクは二郎ではない
Ｂ．ボクは三郎だ
Ｃ．ボクは一郎ではない

のうちの Ａ．ボクは二郎ではない は二郎の言葉ではありません。
もちろんＢ．ボクは三郎だ でもウソをついていることになりますから、
二郎はの言葉は
Ｃ．ボクは一郎ではない
しかありえません。

ウソしかつかない一郎は〈ＢかＣ〉でしたから、ここで、一郎の発言は
Ｂ．ボクは三郎だ
です。

いいかげんな発言をする三郎が言ったのが
Ａ．ボクは二郎ではない
です。

いかがだったでしょうか。

論理学、たのしく使えると思っていただけたら幸いです。

いつか「たのしい論理学入門」というプランを作りたくなりました。