Zagadka o trzech boginiach – Prawdzie, Fałszu i Losie – jest powszechnie uważana za jedną z najtrudniejszych łamigłówek logicznych na świecie. Została spopularyzowana przez amerykańskiego logika i filozofa George’a Boolosa, a jej korzenie sięgają prac Raymonda Smullyana. Wyzwanie polega na tym, że musimy zidentyfikować każdą z bogiń, zadając jedynie trzy pytania, na które można odpowiedzieć „tak” lub „nie”. Sytuację komplikuje fakt, że boginie odpowiadają w swoim własnym języku słowami „DA” i „JA”, a my nie wiemy, które z nich oznacza „tak”, a które „nie”.

Co więcej, każda z bogiń ma inny charakter: Prawda zawsze mówi prawdę, Fałsz zawsze kłamie, a Los odpowiada całkowicie losowo – jej odpowiedź może być prawdą lub kłamstwem, niezależnie od pytania. Jak zatem ugryźć ten orzech do zgryzienia? Kluczem jest odpowiednia konstrukcja pytań, która „obejdzie” zarówno barierę językową, jak i nieprzewidywalność Losu.

Fundament sukcesu: konstrukcja pytania pomocniczego

Zanim przejdziemy do konkretnych pytań, musimy zrozumieć mechanizm, który pozwoli nam zignorować fakt, że nie znamy znaczenia słów „DA” i „JA”. Musimy konstruować pytania zagnieżdżone.

Załóżmy, że chcemy zapytać o fakt X (np. „Czy 2+2=4?”). Nasze pytanie powinno brzmieć: „Jeśli zapytam cię, czy X jest prawdą, to czy odpowiesz DA?”.

Dzięki takiej konstrukcji:

1. Jeśli X jest prawdą, a bogini (Prawda lub Fałsz) odpowie „DA”, to „DA” oznacza „tak”.
2. Jeśli X jest prawdą, a bogini odpowie „JA”, to „JA” oznacza „tak”.
3. Jeśli X jest fałszem, a bogini odpowie „DA”, to „DA” oznacza „nie”.
4. Jeśli X jest fałszem, a bogini odpowie „JA”, to „JA” oznacza „nie”.

W skrócie: jeśli otrzymamy odpowiedź „DA”, oznacza to, że X jest prawdą (niezależnie od tego, co znaczy „DA” i czy rozmawiamy z Prawdą, czy z Fałszem). Jeśli otrzymamy „JA”, X jest fałszem. Ten trik nie działa jedynie w przypadku Losu, dlatego naszym pierwszym celem musi być wyeliminowanie jej z równania.

Krok 1: Wyeliminowanie Losu

Musimy zadać pierwsze pytanie jednej z bogiń (nazwijmy ją Boginią A), aby dowiedzieć się, która z pozostałych dwóch (B lub C) na pewno nie jest Losem.

Pytanie 1 (do Bogini A): „Jeśli zapytam cię, czy Bogini B jest Losem, to czy odpowiesz DA?”

• Jeśli odpowiedź brzmi „DA”: Oznacza to, że albo Bogini A jest Losem (wtedy jej odpowiedź jest przypadkowa), albo Bogini A nie jest Losem i jej odpowiedź wskazuje prawdę, czyli B to Los. W obu tych przypadkach mamy pewność, że Bogini C nie jest Losem.
• Jeśli odpowiedź brzmi „JA”: Oznacza to, że albo Bogini A jest Losem, albo Bogini A nie jest Losem i B nie jest Losem. W obu tych przypadkach mamy pewność, że Bogini B nie jest Losem.

Dzięki temu po pierwszym pytaniu wiemy, która bogini (B lub C) na pewno jest „stabilna” (czyli jest albo Prawdą, albo Fałszem).

Krok 2: Identyfikacja Prawdy lub Fałszu

Załóżmy, że z pierwszego pytania wynikło, iż to Bogini B nie jest Losem. Teraz kierujemy drugie pytanie właśnie do niej.

Pytanie 2 (do Bogini B): „Jeśli zapytam cię, czy jesteś Prawdą, to czy odpowiesz DA?”

• Jeśli odpowiedź brzmi „DA”: Bogini B jest Prawdą.
• Jeśli odpowiedź brzmi „JA”: Bogini B jest Fałszem.

Teraz mamy już zidentyfikowaną jedną boginię (np. wiemy już na 100%, że B to Prawda).

Krok 3: Ostateczne rozwiązanie zagadki

Mając zidentyfikowaną jedną boginię, która nie jest Losem, trzecie pytanie pozwoli nam rozpoznać pozostałe dwie. Nadal rozmawiamy z Boginią B (o której już wiemy, kim jest).

Pytanie 3 (do Bogini B): „Jeśli zapytam cię, czy Bogini A jest Losem, to czy odpowiesz DA?”

• Jeśli odpowiedź brzmi „DA”: Bogini A jest Losem. Skoro wiemy, kim jest B i A, to C musi być tą trzecią, która została.
• Jeśli odpowiedź brzmi „JA”: Bogini C jest Losem. Bogini A jest tą trzecią.

W ten sposób, w trzech krokach, tożsamość Prawdy, Fałszu i Losu zostaje w pełni ujawniona.

Ciekawostka o autorze zagadki

George Boolos, który opublikował tę zagadkę w 1996 roku, był nie tylko wybitnym logikiem, ale również jednym z największych ekspertów od prac Kurta Gödla. Twierdził on, że rozwiązanie tej zagadki wymaga nie tylko czystej logiki, ale i zrozumienia, jak język może być używany do „zamykania” kłamstwa wewnątrz prawdy (i odwrotnie). Co ciekawe, Boolos przyznał, że inspiracją dla niego był Raymond Smullyan, który w swoich książkach często tworzył postacie rycerzy (zawsze mówiących prawdę) i łotrów (zawsze kłamiących).

Dlaczego to działa?

Kluczem jest fakt, że podwójne zaprzeczenie w logice daje potwierdzenie. Kiedy pytasz kłamcę: „Czy gdybym cię zapytał o X, odpowiedziałbyś TAK?”, kłamca musi skłamać na temat swojego kłamstwa. Jeśli X jest prawdą, kłamca normalnie powiedziałby NIE. Ale ponieważ musi skłamać na temat tego, co by powiedział, mówi TAK. W efekcie kłamca i prawdomówny udzielają tej samej odpowiedzi na tak sformułowane pytanie zagnieżdżone. To genialny sposób na zneutralizowanie kłamstwa w zagadkach logicznych!