Рэймонд Смаллиан - Как же называется эта книга
- Да-да! Мне еще ни разу не случилось упустить намеченную жертву, продолжал Дракула, - так что, как видите, риск не столь уж велик.
- Нельзя ли ближе к делу? - дерзко прервал я Дракулу, изо всех сил стараясь не выдать охватившего меня ужаса. - Какую загадку вы хотели загадать мне?
196.
Дракула испытующе посмотрел на меня:
- Должен признаться, что вопросы, которые вы задавали моим гостям, довольно остроумны. Вы удивлены? Напрасно! Я великолепно осведомлен обо всем, что происходит в моем замке. Ваши вопросы, повторяю, весьма остроумны, хотя они далеко не так хороши, как вам кажется. Судите сами. Чтобы получить интересующие вас сведения, вам каждый раз приходилось придумывать новый вопрос. Вы так и не сумели найти простой принцип, позволяющий сформулировать универсальный вопрос, пригодный для выяснения всего, что вас интересовало, а ведь такой вопрос избавил бы вас от излишних умственных затрат. Между тем существует высказывание S, обладающее почти волшебным свойством. Стоит вам обратиться к любому из моих гостей, слуг или даже ко мне с вопросом "эквивалентны ли S и X?", как вы тотчас же узнаете все, что захотите, и сможете установить, истинно или ложно любое высказывание X. Если вам ответят "бал", то X должно быть истинным. Если же вам ответят "да", то X должно быть ложным. Например, если вам заблагорассудится узнать, не упырь ли ваш собеседник, то вы спросите у него:
"Верно ли, что S истинно в том и только в том случае, если вы упырь?" Если же вы захотите узнать, в здравом ли уме тот или иной обитатель замка, то достаточно спросить у него: "Верно ли, что S истинно в том и только в том случае, если вы в здравом уме?" Вы хотите узнать, что означает слово "бал"? Нет ничего проще! Спросите у любого гостя: "Верно ли, что S истинно в том и только в том случае, если "бал" означает "да"?", и вам все станет ясно. Чтобы узнать, жив ли я, вам было бы Достаточно спросить: "Верно ли, что S истинно в том и только в том случае, если Дракула жив?" Я мог бы без труда привести множество других примеров, но думаю, что вы уже по достоинству оценили волшебные свойства высказывания S.
- A что это за высказывание? - спросил я, сгорая от любопытства.
- Вот это вам и предстоит выяснить, - ответил Дракула.
- Это и есть моя загадка.
С этими словами Дракула поднялся и направился к двери.
- B вашем распоряжении пятнадцать минут, - напомнил он.
- Советую хорошенько подумать. Ставка столь высока, что стоит любых усилий.
Ставка действительно была высока! Нужно ли говорить, что следующие пятнадцать минут были самыми мучительными за всю мою жизнь. Страх настолько парализовал меня, что в голову не приходило ни одной дельной мысли. К тому же меня не покидало ощущение, что Дракула скрытно следит за мной.
Пятнадцать минут истекли. Дракула с торжествующим видом распахнул дверь и, плотоядно ухмыляясь, начал шаг за шагом приближаться ко мне. Расстояние между нами неумолимо сокращалось. Я уже ощущал прикосновение его клыков, когда мне внезапно пришла в голову спасительная идея.
- Стойте! - закричал я. - Как же я раньше не догадался! Высказывание S звучит так: "... "
Какое высказывание S спасло мне жизнь?
Эпилог
Разочарование от того, что я сумел разгадать загадку, оказалось непосильным для Дракулы: не сходя с места, он испустил дух и рассыпался в прах. И теперь, когда кто-нибудь спрашивает меня: "Жив ли граф Дракула?" - -- я с полным основанием могу, не погрешив против истины, ответить: "Бал!"
197.
В приведенной выше истории имеются четыре небольших несоответствия. Не могли бы вы указать их?
РЕШЕНИЯ
167. Высказанное трансильванцем утверждение либо истинно, либо ложно. Предположим, что оно ложно. Тогда трансильванец не человек и не в здравом уме. Следовательно, он должен быть упырем, лишившимся рассудка. Но такие упыри высказывают только истинные утверждения, и мы приходим к противоречию. Значит, высказанное трансильванцем утверждение истинно. Такие утверждения могут высказывать только люди в здравом уме и упыри, лишившиеся рассудка.
Если бы наш трансильванец был бы упырем, лишившимся рассудка, то он не был бы ни человеком, ни лицом, находящимся в здравом уме. Следовательно, высказанное им утверждение было бы ложным. Но мы знаем, что оно истинно.
Следовательно, наш трансильванец должен быть человеком в здравом уме.
168. Он должен быть упырем, лишившимся рассудка.
169. Нет, не однотипен. На этот раз трансильванец должен быть упырем в здравом уме.
170. Человек в здравом уме на мой вопрос ответил бы отрицательно, а трансильванцы любого из трех остальных типов - утвердительно. Получив утвердительный ответ на свой вопрос, я не смог бы определить, к какому из четырех типов трансильванцев принадлежит мой собеседник. Но в условиях задачи сказано, что я узнал по ответу, кто мой собеседник. Следовательно, на мой вопрос он ответил не утвердительно. Значит, он ответил "нет", из чего мы заключаем, что трансильванец был человеком в здравом уме.
171. Из приведенной фразы нельзя заключить, был ли встречный человеком или упырем, но можно заключить, что он лишился рассудка. Человек в здравом уме не мог бы сказать о себе, что он упырь, а упырь, находящийся в здравом уме, знал бы, что он упырь, и, солгав, заявил бы: "Я человек".
С другой стороны, человек, лишившийся рассудка, считал бы себя упырем и заявил бы об этом. Упырь, лишившийся рассудка, считал бы себя человеком и, солгав, заявил бы:
"Я упырь".
172. Единственное заключение, к которому можно прийти на основании сделанного трансильванцем заявления, состоит в том, что он упырь. Человек в здравом уме не сказал бы о себе, что он лишился рассудка. Человек, лишившийся рассудка, считал бы, что находится в здравом уме, и, будучи человеком, не мог бы заявить о себе: "Я лишился рассудка".
173. Думаю, что таких утверждений X, Y существует немало, во всяком случае не одна пара. Я имел в виду следующие утверждения:
X: Если я в здравом уме, то я человек.
Y: Если я человек, то я в здравом уме.
Предположим, что некий трансильванец, высказывает утверждение X. Докажем, что Y должно быть истинно, то есть если наш трансильванец человек, то он в здравом уме.
Предположим, что он человек. Тогда верно, что если он в здравом уме, то он человек (так как он человек). Значит, X истинно. Следовательно, наш трансильванец должен быть в здравом уме, поскольку люди, лишившиеся рассудка, не высказывают истинных утверждений. Отсюда мы заключаем, что если он человек, то находится в здравом уме. Следовательно, Y - истинно.
Наоборот, предположим, что наш трансильванец высказывает утверждение Y. Требуется доказать, что X истинно.
Предположим, что трансильванец в здравом уме. Тогда Y должно быть истинно. Следовательно, трансильванец - человек (потому что упыри в здравом уме не высказывают истинных утверждений). Значит, он человек (в предположении, что он находится в здравом уме). Итак, если наш трансильванец в здравом уме, то он человек. Следовательно, X истинно.
174. Ответы на оба вопроса задачи утвердительны.
Предположим, что некий трансильванец считает истинным какое-то утверждение X. Отсюда, как нетрудно понять, отнюдь не следует, что X должно быть истинным, так как трансильванец мог утратить рассудок. Но если он считает, что X истинно, то X должно быть истинно! Действительно, предположим, что трансильванец в здравом уме. Так как он считает, что утверждение о том, что он считает утверждение истинным, истинно, то его утверждение "я считаю X истинным" должно быть истинно. Следовательно, он действительно считает утверждение X истинным. А так как он в здравом уме, то X должно быть истинным. Предположим теперь, что трансильванец лишился рассудка. Так как он считает, что утверждение о том, что он считает X истинным, истинно, то его утверждение "я считаю истинным" должно быть ложным. Следовательно, в действительности он не считает X истинным (ему только кажется, что он считает!).
Так как трансильванец не считает X истинным и лишился рассудка, то X должно быть истинным.
Итак, доказано следующее. Если трансильванец считает, что он считает утверждение X истинным, то X должно быть истинным независимо от того, в здравом ли уме трансильванец или лишился рассудка. Аналогично можно доказать, что если какой-нибудь трансильванец не считает, что он считает утверждение X истинным, то X должно быть ложным. Доказать это мы предоставляем читателю.
175. Ответы на оба вопроса задачи (как следует из решения предыдущей задачи) должны быть утвердительными.
Предположим, что по утверждению A он считает высказывание X истинным. Тогда A действительно считает именно так, как говорит. Следовательно, A считает, что он считает утверждение X истинным. В этом случае, как показано в решении предыдущей задачи, X должно быть истинно независимо от того, в здравом ли уме A или лишился рассудка.
Предположим теперь, что A - упырь. Тогда он не считает так, как говорит. Следовательно, A не считает, что считает X истинным. Значит, X должно быть ложным независимо от того, в здравом ли уме A или лишился рассудка.
