Книга Как же называется эта книга?, страница 40. Автор книги Рэймонд М. Смаллиан

Разделитель для чтения книг в онлайн библиотеке

Онлайн книга «Как же называется эта книга?»

Cтраница 40

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. Ответы на оба вопроса задачи (как следует из решения предыдущей задачи) должны быть утвердительными.

Предположим, что по утверждению А он считает высказывание X истинным. Тогда А действительно считает именно так, как говорит. Следовательно, А считает, что он считает утверждение X истинным. В этом случае, как показано в решении предыдущей задачи, X должно быть истинно независимо от того, в здравом ли уме А или лишился рассудка. Предположим теперь, что А – упырь. Тогда он не считает так, как говорит. Следовательно, А не считает, что считает X истинным. Значит, X должно быть ложным независимо от того, в здравом ли уме А или лишился рассудка.


176. А утверждает, что считает В человеком. В либо утверждает, что считает А человеком, либо утверждает, что считает А не человеком. Вторую альтернативу необходимо исключить, так как она приводит к следующему противоречию. Рассмотрим два утверждения.

1) А утверждает, что считает В человеком.

2) В утверждает, что считает А не человеком.

Предположим, что А – человек. Тогда, как показано в решении задачи 175, из утверждения (1) следует, что В – человек. В свою очередь из утверждения (2) следует, что А не человек. Поскольку А по предположению человек, то мы приходим к противоречию.

Предположим теперь, что А – упырь. Тогда, как показано в решении задачи 175, из утверждения (1) следует, что В не человек. Следовательно, В – упырь. Из утверждения (2) мы, как показано в решении задачи 175, заключаем, что А – человек. Но такой вывод противоречит предположению о том, что А – упырь. Значит, если бы В ответил отрицательно, то мы пришли бы к противоречию. Следовательно, В ответил утвердительно.


177. Ни к какому заключению прийти нельзя, так как на ваш вопрос любой трансильванец ответит утвердительно. Предоставляю вам самостоятельно убедиться в этом.


178. Случай, описанный в этой задаче, отличается от случая, рассмотренного в предыдущей задаче. Из ответа вашего собеседника нельзя заключить, человек он или упырь, но можно установить, в здравом ли он уме. Если встретившийся вам трансильванец в здравом уме, то он ответит «да». Если же он утратил рассудок, то на ваш вопрос последует отрицательный ответ. Доказательство предоставляем читателю.


179. Нет, нельзя. Не исключено, что ваш трансильванец – человек в здравом уме и граф Дракула жив. Возможно также, что ваш собеседник – упырь, лишившийся рассудка, и графа Дракулы нет в живых. (В действительности если вы обратились с вопросом к упырю, утратившему рассудок, то Дракула мог быть как живым, так и мертвым.)


180. Нет, нельзя.


181. Нет, нельзя. Трансильванец, к которому вы обратились с вопросом, мог быть, например, упырем, лишившимся рассудка. В этом случае граф Дракула мог бы быть как живым, так и мертвым.


182. Можно: на этот раз из полученного вами ответа следует, что Дракула жив.

Вход
Поиск по сайту
Ищем:
Календарь
Навигация