97. Эта задача имеет несколько решений. Простейшее из них состоит в следующем. Вы спрашиваете у брата вашей избранницы: «Вы и Элизабет однотипны?» Если он ответит «да», то Элизабет должна быть рыцарем независимо от того, будет ли ее брат рыцарем или лжецом. Если же он ответит «нет», то Элизабет должна быть лжецом независимо от того, кто ее брат. Докажем это.
Предположим, что на ваш вопрос брат Элизабет ответил «да». Мы знаем, что ее брат – либо рыцарь, либо лжец. Если он рыцарь, то его высказывание, утверждающее, что Элизабет рыцарь, истинно. Следовательно, Элизабет также должна быть рыцарем. Если брат Элизабет – лжец, то его высказывание ложно. Следовательно, он и Элизабет разнотипны, а это означает, что Элизабет и в этом случае должна быть рыцарем. Итак, если Артур отвечает вам «да», то Элизабет рыцарь.
Предположим, что Артур отвечает «нет». Если он рыцарь, то говорит правду. Следовательно, он и Элизабет разнотипны, поэтому Элизабет должна быть лжецом. Если же он лжец, то его высказывание ложно. Тогда Элизабет в действительности однотипна с ним, а следовательно, и в этом случае должна быть лжецом. Итак, если Артур отвечает вам «нет», то Элизабет – лжец.
98. Эта задача также допускает несколько решений. Простейшее и наиболее изящное из известных мне решений состоит в том, чтобы, выбрав одну из сестер (например, А), спросить у нее: «В по рангу ниже С?». Предположим, что А отвечает «да». Тогда вы выбираете себе в невесты В, рассуждая при этом следующим образом. Предположим, что А – рыцарь. Тогда В по рангу действительно ниже С. Следовательно, В – лжец, а сестра С – обычный человек. В этом случае[2] В не оборотень (так как оборотень С). Предположим, что А – лжец. Тогда В в действительности по рангу выше С. Это означает, что В – рыцарь, а С – обычный человек. Следовательно, и в этом случае В – не оборотень. Если А – обычный человек, то В заведомо не оборотень, так как оборотень А. Итак, если А отвечает на ваш вопрос «да», то независимо от того, будет ли она рыцарем или лжецом, вам следует выбрать себе в невесты сестру В.
Если бы А ответила «нет», то ее ответ был бы эквивалентен утверждению, что С по рангу ниже В. В этом случае вам следовало бы выбрать себе в невесты сестру С.
99. Все подозрения с вас могло бы снять одно-единственное высказывание: «Я виновен». Вы, будучи лжецом, могли бы сделать такое заявление на суде, поскольку оно ложно, и оно сняло бы с вас подозрения, так как присяжные, искушенные в логике, рассуждали бы следующим образом. Если бы вы действительно были виновны, то вы были бы лжецом (так как известно, что преступник – лжец). Но тогда вы, будучи лжецом, высказали бы истинное утверждение. Таким образом, предположение о том, что вы виновны, приводит к противоречию. Следовательно, вы невиновны.