Rozważmy na początek ostatnią wskazówkę. Jest ona podana w postaci równoważności, więc oba zdania
składowe ("Księżniczka jest w komnacie RÓŻOWEJ", "kat jest w komnacie CZERWONEJ") są albo prawdziwe,
albo fałszywe.
Załóżmy najpierw, że zachodzi pierwsza możliwość, czyli oba zdania są prawdziwe, i przeanalizujmy
prawdziwość pozostałych wskazówek.
Okazuje się, że wówczas druga wskazówka jest fałszywa, bo skoro "Księżniczka jest w komnacie RÓŻOWEJ",
to kata nie może w niej być (zdanie "Kat jest w komnacie RÓŻOWEJ" jest fałszywe), a z drugiej strony,
skoro "Księżniczka jest w komnacie RÓŻOWEJ", to nie może być jednocześnie w komnacie BIAŁEJ (zdanie
"Księżniczka jest w komnacie BIAŁEJ" jest fałszywe). [Alternatywa jest fałszywa, bo dwa zdania składowe
są fałszywe.]
W takim razie musi być spełniona druga możliwość - Księżniczki nie ma w komnacie RÓŻOWEJ i kata nie ma
w komnacie CZERWONEJ. Wówczas następnik (implikacji) pierwszej wskazówki jest zdaniem fałszywym
(zdanie "Kat jest w komnacie CZERWONEJ" jest fałszywe).
Ta implikacja (pierwsza wskazówka) może być prawdziwa już tylko wtedy, gdy poprzednik też jest fałszywy.
Zatem zdanie "Księżniczka jest w komnacie BIAŁEJ" jest fałszywe.
Podsumowując, Księżniczki nie ma ani w komnacie RÓŻOWEJ, ani w komnacie BIAŁEJ.
Oznacza to, że jest w komnacie CZERWONEJ.
Odp. Rycerz poślubi Księżniczkę.
Komentarze