🚀 go-pugleaf

ZADANIE:
Zbadaj następujące zdarzenie. W pokoju było ciemno. Leżało na stole 5
kapeluszy: 2 białe i 3 carne. Trzej panowie weszli do pokoju, każdy z
nich nałożył po ciemku jakiś kapelusz nie wiedząc oczywiście jaki, i
wyszli szeregiem, przy czym żaden z nich nie oglądał się za siebie.
Szli jeden za drugim i żaden z nich nie wiedział, jaki ma kapelusz.
Każdy widział bowiem tylko kapelusz tego, który szedł przed nim, tzn.
pierwszy nie widział w ogóle żadnego kapelusza. Drugi widział tylko
kapelusz pierwszego, a trzeci widział kapelusz pierwszego i drugiego.
Gdy tak szli, pierwszy z panów pyta się trzeciego: "Jaki masz
kapelusz"? Trzeci spojrzawszy na kapelusz pierwszego i drugiego po
namyśle odpowiada: "Nie wiem jaki mam kapelusz". Następnie pierwszy
pyta się drugiego: "Czy wiesz jaki masz kapelusz"? Drugi spojrzawszy
na kapelusz pierwszego oraz namyśliwszy się nad odpowiedzią trzeciego
i domyśliwszy się jego rozumowania odpowiada: "Nie wiem jaki mam
kapelusz". Wtedy pierwszy rozważywszy odpowiedzi trzeciego i drugiego
oraz domyśliwszy się ich rozumowań odpowiada: "A ja wiem jaki mam
kapelusz". Domyśl się jaki kapelusz miał pierwszy z panów i drogą
jakiego rozumowania doszedł do tego, że ma właśnie taki kapelusz?

Wskazówka. Zbadaj kolejno jak musiał rozumować trzeci, skoro dał taką
odpowiedź, co musiał widzieć, następnie jak rozumował drugi, o którym
zakładamy, że domyślił się rozumowania trzeciego i co musiał widzieć.
W końcu jak rozumował pierwszy. O każdym zakładamy, że rozumował
poprawnie. Wypisz wszystkie przesłanki ich wnioskowań i znajdź prawa
logiki, którymi musieli się posłużyć.

Rozwiąż to zadanie przyjmując oznaczenia:
W(x) - x wie jaki ma kapelusz;
B(x) - x ma biały kapelusz;
C(x) - x ma czarny kapelusz;
trzech panów oznacz symbolami 1, 2, 3.

Rozwiązanie nie może ograniczać się do podania końcowej odpowiedzi,
lecz winno zawierać schemat formalnie poprawnej argumentacji. Jak
łatwo zauważyć, zadanie to w istocie sprowadza się do dedukcyjnego
wyprowadzenia następstwa z założeń ustalonych na podstawie treści
"zagadki"; a więc w warstwie technicznej jest bardzo podobne do budowy
dowodu założeniowego formuły rachunku zdań. Przedstawiona argumentacja
winna być wolna od luk, tzn. przejście od jakiegoś jej składnika do
innych winno być obwarowane regułami wnioskowania albo takimi regułami
oraz tezami pomocniczymi w postaci praw rachunku zdań.

ODPOWIEDZ

Droga dedukcji doszedlem ze pierwszy ma na sobie czarny kapelusz, bo
gdyby pierwszy mial bialy to drugi wiedzialby ze ma na sobie czarny.
Ale jak to zapisac logicznie... i udowodnic???