テーブルに置いてあった料理を、 誰かたちが、勝手に食べてしまった。 その場にいた、3人は、 こう言っている A 「僕、食べたよ」 B 「食べたのはAだ」 C 「僕とBは食べていないよ」 このなかに、 ひとりだけウソをついている人がいる。 それは誰だろう?
Aの発言が真ならば、Bの発言も真となり Bの発言が真ならば、Aの発言も真となる。 すなわち Aの発言が真 ⇒ Bの発言が真 Bの発言が真 ⇒ Aの発言が真 よって、Aの発言と、Bの発言は同値である。 Aの発言と、Bの発言は同値で、 ひとりだけウソをついているので、 ウソをついているのはC 食べたのは、AとB、AとC、AとBとC のいずれか