3-6 黒いビン

ブール代数パズル

ここに3本の黒いビン(A,B,C)があります

それぞれ、
ソース、醤油、墨汁
が入ってます

ビンには、このようなラベルが貼ってあります
A 「Bはソースです」
B 「これは、ソースではありません」
C 「これは、ソースではありません」
このうち、少なくとも醤油のビンのラベルには、偽がかかれてます

A,B,Cは、それぞれどれでしょう？

論理パズル「出しっこ問題」傑作選 を参考にさせていただきました

解答

Bが醤油と仮定すると、
C 「これは、ソースではありません」
は、真なので矛盾
よって、Cは醤油ではない

Cが醤油と仮定すると、
B 「これは、ソースではありません」
は、真なので矛盾
よって、Bは醤油ではない

よって、Aが醤油

Aが醤油であることと、
A 「Bはソースです」
より
Cがソース

よって
(A,B,C) = (醤油,墨汁,ソース)