Как же называется эта книга? (Смаллиан) - страница 93

– А что это за высказывание? – спросил я, сгорая от любопытства.

– Вот это вам и предстоит выяснить, – ответил Дракула. – Это и есть моя загадка.

С этими словами Дракула поднялся и направился к двери.

– В вашем распоряжении пятнадцать минут, – напомнил он. – Советую хорошенько подумать. Ставка столь высока, что стоит любых усилий.

Ставка действительно была высока! Нужно ли говорить, что следующие пятнадцать минут были самыми мучительными за всю мою жизнь. Страх настолько парализовал меня, что в голову не приходило ни одной дельной мысли. К тому же меня не покидало ощущение, что Дракула скрытно следит за мной.

Пятнадцать минут истекли. Дракула с торжествующим видом распахнул дверь и, плотоядно ухмыляясь, начал шаг за шагом приближаться ко мне. Расстояние между нами неумолимо сокращалось. Я уже ощущал прикосновение его клыков, когда мне внезапно пришла в голову спасительная идея.

– Стойте! – закричал я. – Как же я раньше не догадался! Высказывание S звучит так: «…»

Какое высказывание S спасло мне жизнь?

Эпилог

Разочарование от того, что я сумел разгадать загадку, оказалось непосильным для Дракулы: не сходя с места, он испустил дух и рассыпался в прах. И теперь, когда кто-нибудь спрашивает меня: «Жив ли граф Дракула?» – я с полным основанием могу, не погрешив против истины, ответить: «Бал!»

197

В приведенной выше истории имеются четыре небольших несоответствия. Не могли бы вы указать их?

РЕШЕНИЯ

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


168. Он должен быть упырем, лишившимся рассудка.


169. Нет, не однотипен. На этот раз трансильванец должен быть упырем в здравом уме.


170. Человек в здравом уме на мой вопрос ответил бы отрицательно, а трансильванцы любого из трех остальных типов – утвердительно. Получив утвердительный ответ на свой вопрос, я не смог бы определить, к какому из четырех типов трансильванцев принадлежит мой собеседник. Но в условиях задачи сказано, что я узнал по ответу, кто мой собеседник. Следовательно, на мой вопрос он ответил не утвердительно. Значит, он ответил «нет», из чего мы заключаем, что трансильванец был человеком в здравом уме.