d9e5a92d

Кто Джон?


Кто Джон?
   Для того чтобы узнать, кого из двух братьев-близнецов зовут Джон, нужно спросить одного из них: "Джон говорит правду?". Если в ответ на этот вопрос последует "да", то независимо от того, лжет ли спрошенный близнец или говорит всегда только правду, он должен быть Джоном. Если же он ответит "нет", то Джоном зовут его брата. Доказать это можно следующим образом.
   Если спрошенный близнец отвечает "да", то он тем самым утверждает, что Джон говорит правду. Если это утверждение истинно, то Джон действительно говорит правду, а так как говорящий изрек истину, то его и должны звать Джоном, Если же высказанное утверждение ложно, то Джон в действительности не говорит правду. Значит, Джон лжет, как лжет и спрошенный близнец. Следовательно, и в этом случае спрошенного должны звать Джоном. Тем самым доказано, что независимо от того, говорит ли тот, к кому мы обращаемся с вопросом, всегда только правду или лжет, он должен быть Джоном (в предположении, что на наш вопрос он ответил "да").
   Если же спрошенный нами ответит "нет", то тем самым он утверждает, что Джон говорит неправду. Если это утверждение истинно, то Джон не говорит правду, а если ложно, то Джон говорит правду. И в том и в другом случае спрошенный близнец поступает не так, как Джон. Следовательно, он должен быть братом Джона. Таким образом, "нет" в ответ на заданный вопрос означает, что спрошенного зовут не Джон.

   Разумеется, вопрос "Лжет ли Джон?" ничуть не хуже. "Да" в ответ на этот вопрос означает, что спрошенный близнец не Джон, а "нет" - что его зовут Джон.
   Мне удалось придумать только эти два вопроса в три слова, которые позволяют решить задачу. Интересно, есть ли другие?