Алиса в Стране Смекалки

Предположим, что Ящерка Билль говорит правду. Тогда его показания на суде истинны. Значит, либо Мартовский Заяц, либо Соня говорит правду (возможно, что правду говорят оба). Предположим, что правду говорит Мартовский Заяц. Тогда кухарка должна говорить правду (напомним, что, как показал на суде Мартовский Заяц, кухарка и Чеширский Кот говорят правду). С другой стороны, если Соня говорит правду. то кухарка должна опять-таки говорить правду (ибо так утверждала в своих показаниях на суде Соня). Таким образом, и в том и в другом случае (говорит ли правду Мартовский Заяц или Соня) кухарка должна говорить правду. Но либо Мартовский Заяц, либо Соня говорит правду. Следовательно, в любом случае кухарка должна говорить правду. Это доказывает, что кухарка говорит правду (разумеется, в предположении, которое мы разделяем, что Ящерка Билль сказал правду). Кроме того. Мартовский Заяц показал (и это подтвердила кухарка), что Чеширский Кот говорит правду, а Соня показала (и ее слова также подтвердила кухарка), что Гусеница говорит правду. Следовательно, либо Чеширский Кот, либо Гусеница говорит правду (поскольку либо Мартовский Заяц, либо Соня говорит правду: если правду говорит Мартовский Заяц, то не лжет Чеширский Кот; если же правду говорит Соня, то не лжет Гусеница). Но в своих показаниях на суде Болванщик утверждал, что либо Чеширский Кот, либо Гусеница говорит правду, поэтому сам Болванщик говорит правду. Значит, и кухарка, и Болванщик говорят правду. Именно это и утверждал Валет Червей. Таким образом. Валет Червей говорит правду (разумеется, при условии, что Ящерка Билль говорит правду).

Итак, мы доказали, что если Ящерка Билль говорит правду, то Валет Червей не может не говорить только правду. Значит, Белый Кролик лгал, когда утверждал, что Билль говорит правду, а Валет лжет. Итак, Белый Кролик — лжец.

Обратимся теперь к показаниям Алисы (их истинность не вызывает сомнений). Алиса сказала, что Белый Кролик и Герцогиня либо оба говорят правду, либо оба лгут. Говорить правду они оба не могут (так как Белый Кролик лжет). Следовательно, они могут только лгать вдвоем. Но коль скоро Герцогиня лжет, то крендели украл не кто иной, как Грифон.

Глава 3

14. Гусеница и Ящерка Билль.

Гусеница считает, что и она, и Ящерка Билль не в своем уме. Если бы Гусеница была в здравом уме, то мнение о том, что и она, и Ящерка Билль не в своем уме, было бы ложно. Следовательно, Гусеница (будучи в здравом уме) не могла бы придерживаться этого ложного мнения. Значит, Гусеница не в своем уме. Но коль скоро она не в своем уме, то ее представление об окружающих превратно. Следовательно, неверно, что и Гусеница, и Ящерка Билль не в своем уме. Значит, другой партнер (Ящерка Билль) должен быть в здравом рассудке.

Итак, Гусеница не в своем уме, а Ящерка Билль в здравом рассудке.

15. Кухарка и Кот.

Если бы кухарка была не в своем уме, то ее мнение о том, что по крайней мере один из двух — либо она, либо Чеширский Кот — не в своем уме, было бы истинным. Но тогда мы имели бы человека, который, будучи не в своем уме, придерживается здравых суждений, что противоречит условиям задачи. Следовательно, кухарка должна быть в здравом рассудке. А поскольку она в здравом уме, то ее суждения истинны, и поэтому один из двух — либо она, либо Чеширский Кот — не в своем уме. Поскольку этот «один» не кухарка, им должен быть Чеширский Кот.

Итак, кухарка в здравом рассудке, а Чеширский Кот не в своем уме.

16. Лакей-Лещ и Лягушонок.

Приведенные в условиях задачи сведения не позволяют определить, в здравом ли рассудке или не в своем уме Лакей-Лещ, но мы докажем, что Лягушонок должен быть в здравом рассудке. Будем рассуждать следующим образом.

Имеются две возможности: либо Лакей-Лещ в здравом рассудке, либо он не в своем уме. Покажем, что и в том и в другом случае Лягушонок должен быть в здравом рассудке.

Предположим, что Лакей-Лещ в здравом рассудке. Тогда он судит обо всем правильно. Значит, Лягушонок действительно во всем схож с Лакеем-Лещом. Следовательно, Лягушонок в здравом рассудке.

С другой стороны, предположим, что Лакей-Лещ не в своем уме. Тогда он обо всем судит превратно, поэтому Лягушонок совершенно несхож с Лакеем-Лещом. Так как Лакей-Лещ не в своем уме, то Лягушонок в противоположность ему должен быть в здравом рассудке.

Итак, в любом случае (в здравом ли рассудке Лакей-Лещ или не своем уме) Лягушонок должен быть в здравом уме.

А что если бы Лакей-Лещ считал Лягушонка не во всем схожим, а во всем несхожим с собой? Каким был бы тогда Лакей-Лещ — в здравом рассудке или не в своем уме?

Ответ: Лягушонок в таком случае должен был быть не в своем уме. Доказательство этого утверждения я предоставляю читателю в качестве самостоятельного упражнения.

17. Король и Королева Бубен.