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