Есть три бога, A, B, и C, один из которых бог

Булос заявил, что первым вопросом мы обязаны отыскать господа, который не является всевышним варианта, то есть является либо господом правды, или господом брехни. Есть огромное количество вопросов, которые могут быть заданы для достижения этой цели. Одна из стратегий использование трудных логических связей в самом вопросе.

Вопрос Булоса: Значит ли da да, только если ты бог правды, а бог B бог варианта? . Иной вариант вопроса: Является ли чётным числом количество правдивых утверждений в последующем списке: ты бог лжи, ja обозначает да, B бог варианта?

Решение задачи может быть облегчено, если использовать условные высказывания, противоречащие фактам (counterfactuals)[3][4]. Мысль этого решения состоит в том, что на хоть какой вопрос Q, требующий ответа да или нет , данный господу правды либо господу брехни:

* Если я спрошу тебя Q, ты ответишь ja?

итог будет ja, если верный ответ на вопрос Q это да и da, если верный ответ нет . Для подтверждения этого можно осмотреть восемь возможных вариантов:

* Предположим, что ja означает да , а da означает нет :
o Мы спрашивали у бога правды, и он ответил ja. Так как он говорит правду и верный ответ на вопрос Q ja, оно обозначает да .
o Мы спрашивали у господа правды, и он ответил da. Так как он говорит правду и верный ответ на вопрос Q da, оно означает нет .
o Мы спрашивали у бога брехни, и он ответил ja. Поскольку он всегда лжёт, поэтому на вопрос Q он ответит da. То есть правильный ответ на вопрос ja, который обозначает да .
o Мы спрашивали у господа брехни, и он ответил da. Так как он всегда врёт, потому на вопрос Q он ответит ja. То есть верный ответ на вопрос da, который означает нет .
* Предположим, что ja означает нет , а da означает да :
o Мы спрашивали у господа правды, и он ответил ja. Поскольку он разговаривает правду и верный ответ на вопрос Q da, оно обозначает да .
o Мы спрашивали у господа правды, и он ответил da. Так как он говорит правду и верный ответ на вопрос Q ja, оно означает нет .
o Мы спрашивали у господа лжи, и он ответил ja. Так как он всегда лжёт, потому на вопрос Q он отвечает ja. Но, так как он врёт, верный ответ на вопрос Q da, что значит да .
o Мы спрашивали у господа брехни, и он ответил da. Так как он всегда врёт, потому на вопрос Q он отвечает da. Но, так как он врёт, верный ответ на вопрос Q ja, что значит нет .

Используя этот факт можно задавать вопросы: [3]

* Спросим бога B: Если я спрошу у тебя Бог А бог случая? , ты ответишь ja?. Если бог B отвечает ja, означает, либо он бог случая (и отвечает случайным образом) , или он не бог случая, а на самом деле бог A бог случая. В любом варианте, бог C это не бог варианта. Если же B отвечает da, то либо он бог варианта (и отвечает случайным образом) , или B не бог случая, что значит, что бог А тоже не бог случая. В любом варианте, бог A это не бог случая.

* Спросим у господа, который не является господом варианта (по результатам предшествующего вопроса, или A, или C): Если я спрошу у тебя: ты бог правды? , ты ответишь ja?. Так как он не бог варианта, ответ ja обозначает, что он бог правды, а ответ da обозначает, что он бог лжи.
* Спросим у этого же господа Если я у тебя спрошу: Бог B бог случая? , ответишь ли ты ja?. Если ответ ja бог B является богом случая, если ответ da, то бог, с которым ещё не сказали, является всевышним варианта.

Оставшийся бог определяется способом исключения.