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