Алиса в стране смекалки   ::   Смаллиан Рэймонд

Значит, он лжет и его зовут не Джон, поэтому Джоном должен быть тот из братьев, кто всегда говорит только правду. Тем самым доказано, ..что если близнец, к которому мы обращаемся с вопросом, отвечает "да", то независимо от того, лжет ли он или говорит правду, того, кто всегда говорит только правду, зовут Джоном.

Предположим теперь, что в ответ на наш вопрос мы услышали "нет". Близнец, к которому мы обратились, либо лжет, либо всегда говорит только правду. Предположим, что он говорит правду. Тогда он действительно не Джон и Джоном зовут другого брата, а поскольку другой брат всегда говорит только правду, Джоном зовут того из двух братьев, кто лжет.

Предположим теперь, что близнец, к которому мы обратились, лжет. Тогда (поскольку лжец утверждает, что он не Джон) его настоящее имя должно быть Джон, поэтому Джоном в данном случае зовут лжеца. Тем самым доказано, что если близнец, к которому мы обращаемся с вопросом, отвечает "нет", то независимо от того, лжет он или говорит правду, того, кто лжет, зовут Джоном.

Между решениями двух задач, которые решали Алиса и ее гости, имеется замечательная симметрия. Для того чтобы узнать, не зовут ли того из близнецов, к которому вы обращаетесь, Джоном, ему необходимо задать вопрос: "Лжет ли Джон?". Для того чтобы выяснить, лжет ли Джон, необходимо задать вопрос: "Вы не Джон?".

Глава 2

1. История первая. По существу, Болванщик заявил, что варенье украли либо Мартовский Заяц, либо Соня. Если Болванщик солгал, то ни Мартовский Заяц, ни Соня не украли варенье.