Как же называется эта книга?

Однажды я спросил у встречного: «Вы упырь, лишившийся рассудка?» Он ответил (либо «да», либо «нет»), и я узнал, к какому типу он принадлежал. Кем он был?

171

Однажды я встретил трансильванца, который заявил: «Я упырь».

Можно ли на основании этой фразы определить, был ли он человеком или упырем? Можно ли на основании той же фразы установить, в своем ли он уме или лишился рассудка?

172

Некий трансильванец заявляет: «Я лишился рассудка».

а) Можно ли на основании этой фразы определить, в здравом ли он уме?

б) Можно ли на основании той же фразы установить, человек он или упырь?

173. Хитроумная задача

Утверждение «если Q, то Р» называется обратным утверждению «если Р, то Q». Существуют два утверждения X и Y, такие, что каждое из них обратно другому, причем:

1) X не следует из Y, a Y – из X;

2) стоит любому жителю Трансильвании высказать любое из утверждений, как из этого следует, что другое утверждение должно быть истинным.

Можете ли вы привести два таких утверждения?

174

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

175

Предположим, что некий трансильванец заявляет: «Я считаю X истинным». Следует ли отсюда, что X должно быть истинным, если наш трансильванец – человек? Следует ли отсюда, что Х должно быть ложно, если наш трансильванец – упырь?

Решение этой задачи устанавливает некий важный общий принцип!

176

Однажды мне встретились два трансильванца А и В. Я спросил у А: «В – человек?» А ответил: «Думаю, да». Тогда я спросил у В: «Как вы думаете, А – человек?» Что ответил В? (Предполагается, что В ответил либо «да», либо «нет».)

177

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

Предположим, что вы спрашиваете у трансильванца: «Вы надежны?» Он отвечает вам либо «да», либо «нет». Можно ли из ответа заключить, кто ваш собеседник: рыцарь или не упырь? Можно ли определить, в здравом ли он уме?

178

Предположим, что вы задаете трансильванцу другой вопрос: «Вы думаете, что вы надежны?» Он отвечает либо «да», либо «нет». Можно ли из ответа заключить, кто ваш собеседник: упырь или человек? Можно ли установить, в здравом ли он уме?

Б. ЖИВ ЛИ ГРАФ ДРАКУЛА?

179

Напомню, что, отправляясь в Трансильванию, я прежде всего хотел выяснить, жив ли граф Дракула Задунайский. С этим вопросом я обратился к первому же встречному трансильванцу. Тот ответил: «Если я человек, то граф Дракула жив».

Можно ли по такому ответу установить, жив ли граф Дракула?

180

Другой трансильванец в ответ на такой же вопрос заявил: «Если я в здравом уме, то граф Дракула жив».

Можно ли из такого ответа заключить, жив ли граф Дракула?

181

Еще один трансильванец, у которого я спросил, жив ли Дракула, ответил: «Если я человек и в здравом уме, то граф Дракула жив».

Можно ли заключить из такого ответа, жив ли граф Дракула?

182

Предположим, что в ответ на мой вопрос некий трансильванец заявил: «Если я либо человек в здравом уме, либо упырь, лишившийся рассудка, то граф Дракула жив».

Можно ли заключить из такого ответа, жив ли граф Дракула?

183

Существует ли такое утверждение, при помощи которого трансильванец, не прибегая к другим доводам, мог бы убедить вас в том, что граф Дракула жив и что само утверждение ложно?

184

Существует ли такое утверждение, при помощи которого трансильванец, не прибегая к другим доводам, мог бы убедить вас, что граф Дракула жив и что относительно самого утверждения нельзя сказать, истинно оно или ложно?

185

Предположим, что некий трансильванец высказал два следующих утверждения:

1) Я в здравом уме.

2) Считаю, что графа Дракулы нет в живых.

Можно ли на основании этих утверждений заключить, жив ли граф Дракула?

186

Предположим, что некий трансильванец высказал следующие два утверждения:

1) Я человек.

2) Если я человек, то граф Дракула жив.

Можно ли из этих утверждений заключить, жив ли граф Дракула?

В. КАКОЙ ВОПРОС ЗАДАТЬ?

187

Можете ли вы, задав первому встречному трансильванцу лишь один вопрос, узнать, упырь он или человек?

188

Можете ли вы, задав первому встречному трансильванцу лишь один вопрос, установить, в здравом ли он уме?

189

Какой вопрос следует задать трансильванцу, чтобы заставить его ответить «да» независимо от того, к какому из четырех типов он принадлежит?

190

Можете ли вы, задав трансильванцу лишь один вопрос, узнать, жив ли граф Дракула?

Г. В ЗАМКЕ ГРАФА ДРАКУЛЫ