Принцесса или тигр   ::   Смаллиан Рэймонд

Страница: 68 из 257

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

11. Назовем жителя Трансильвании заслуживающим доверия, если он высказывает правильные утверждения, и не заслуживающим доверия, если утверждения, высказываемые им, ошибочны. Заслуживающими доверия трансильванцами могут быть либо люди в здравом уме, либо безумные упыри; не заслуживают доверия люди, лишенные рассудка, и упыри в здравом уме.

Пусть теперь А заявляет, что В находится в здравом уме и, кроме того, что В — упырь. Высказанные А утверждения либо оба истинны, либо оба ложны. Если они истинны, то В — упырь в здравом уме, откуда следует, что В не заслуживает доверия. С другой стороны, если оба утверждения, высказанные А, ложны, то В должен быть лишившимся рассудка человеком, что опять-таки означает, что В не заслуживает доверия. Поэтому и в том, и в другом случае (то есть когда оба утверждения А либо истинны, либо ложны) В оказывается личностью, не заслуживающей доверия. Отсюда следует, что оба утверждения, высказанные В, ложны, и А не может быть ни человеком, ни безумцем; следовательно, А должен быть упырем в здравом уме. Это означает также, что А не заслуживает доверия; поэтому оба высказывания А являются ложными, а значит В должен оказаться лишенным рассудка человеком. Итак, ответом будет:

А — упырь, находящийся в здравом уме,

В—человек, лишившийся рассудка.

|< Пред. 66 67 68 69 70 След. >|

Java книги

Контакты: [email protected]