Чтение онлайн

на главную - закладки

Жанры

Как же называется эта книга
Шрифт:

96. Вам нужно сказать: "Я не бедный рыцарь". Услыхав такое признание, ваша возлюбленная стала бы рассуждать следующим образом. Если бы вы были лжецом, то вы действительно не были бы бедным рыцарем. Следовательно, ваше высказывание было бы истинным. Это означало бы, что вы, будучи лжецом, высказали истинное утверждение.

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

97. Эта задача имеет несколько решений. Простейшее из них состоит в следующем. Вы спрашиваете у брата вашей избранницы: "Вы

и Элизабет однотипны?" Если он ответит "да", то Элизабет должна быть рыцарем независимо от того, будет ли ее брат рыцарем или лжецом. Если же он ответит "нет", то Элизабет должна быть лжецом независимо от того, кто ее брат. Докажем это.

Предположим, что на ваш вопрос брат Элизабет ответил "да". Мы знаем, что ее брат - либо рыцарь, либо лжец.

Если он рыцарь, то его высказывание, утверждающее, что Элизабет рыцарь, истинно. Следовательно, Элизабет также должна быть рыцарем. Если брат Элизабет - лжец, то его высказывание ложно. Следовательно, он и Элизабет разнотипны, а это означает, что Элизабет и в этом случае должна быть рыцарем. Итак, если Артур отвечает вам "да", то Элизабет рыцарь.

Предположим, что Артур отвечает "нет". Если он рыцарь, то говорит правду. Следовательно, он и Элизабет разнотипны, поэтому Элизабет должна быть лжецом. Если же он лжец, то его высказывание ложно. Тогда Элизабет в действительности однотипна с ним, а следовательно, и в этом случае должна быть лжецом. Итак, если Артур отвечает вам "нет", то Элизабет - лжец.

98. Эта задача также допускает несколько решений.

Простейшее и наиболее изящное из известных мне решений состоит в том, чтобы, выбрав одну из сестер (например, A), спросить у нее: "В по рангу ниже C?" /* Напомним, что рыцари - особы высшего ранга, нормальные люди - -- среднего, лжецы - низшего.*/

Предположим, что A отвечает "да". Тогда вы выбираете себе в невесты B, рассуждая при этом следующим образом.

Предположим, что A - рыцарь. Тогда B по рангу действительно ниже C. Следовательно, B - лжец, а сестра C - нормальный человек. В этом случае B не оборотень (так как оборотень C). Предположим, что A - лжец. Тогда B в действительности по рангу выше C. Это означает, что B рыцарь, а C - нормальный человек. Следовательно, и в этом случае B не оборотень. Если A - нормальный человек, То B заведомо не оборотень, так как оборотень A. Итак, если A отвечает на ваш вопрос "да", то независимо от того, будет ли она рыцарем или лжецом, вам следует выбрать себе в невесты сестру B.

Если бы A ответила "нет", то ее ответ был бы эквивалентен утверждению, что C по рангу ниже B. В этом случае вам следовало бы выбрать себе в невесты сестру C.

99. Все подозрения с вас могло бы снять одно-единственное высказывание: "Я виновен". Вы, будучи лжецом, могли бы сделать такое заявление на суде, поскольку оно ложно, и оно сняло бы с вас подозрения, так как присяжные, искушенные в логике, рассуждали бы следующим образом. Если бы вы действительно были виновны, то вы были бы лжецом (так как известно, что преступник - лжец). Но тогда вы, будучи лжецом, высказали бы истинное утверждение. Таким образом, предположение о том, что вы виновны, приводит к противоречию. Следовательно, вы не виновны.

Приведенное нами рассуждение присяжных может служить типичным примером

рассуждения от противного (ложность утверждения доказывается тем, что высказанный тезис доводится до нелепости, отсюда латинское название этого способа доказательства reductio ad absurdum - приведение к нелепости). Присяжные могли бы прийти к тому же выводу и более прямым путем, рассуждая следующим образом. Вы либо лжец, либо не лжец (напомним, что присяжным не известно, лжец вы или не лжец). Если вы лжец, то ваше высказывание ложно. Следовательно, вы не виновны. Если вы не лжец, то вы заведомо не виновны, так как преступник - лжец.

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

101. Эта задача в известном смысле "двойственна" задаче 99 (и даже несколько проще той). Вам необходимо лишь заявить на суде: "Я не виновен". Услышав ваше заявление, присяжные стали бы рассуждать следующим образом. Если вы рыцарь (о чем они не знают), то ваше высказывание истинно.

Следовательно, вы не виновны. Если же вы не рыцарь, то вы опять-таки не виновны, так как по имеющимся у присяжных сведениям преступник - рыцарь.

102. Одно из решений состоит в том, что вы должны выступить на суде с заявлением: "Либо я рыцарь и не виновен, либо я лжец и виновен". Сформулируем ваше высказывание несколько проще: "Я либо невиновный рыцарь, либо виновный лжец".

Выслушав подобное заявление, присяжные принялись бы рассуждать следующим образом.

Первый шаг. Предположим, что он рыцарь. Тогда его высказывание истинно. Следовательно, он либо невиновный рыцарь, либо виновный лжец. Быть виновным рыцарем он не может, так как он не лжец. Значит, он невиновный рыцарь.

Следовательно, он не виновен.

Второй шаг. Предположим, что он лжец. Тогда его заявление ложно. Следовательно, он ни невиновный рыцарь, ни виновный лжец. В частности, он не может быть виновным лжецом. Но он лжец. Следовательно, он невиновный лжец и, значит, не виновен.

Третий шаг. Если он нормальный человек, то он заведомо не виновен, так как преступник - не нормальный человек.

103. Эта задача решается очень просто. Вам нужно заявить на суде: "Я лжец". Ни рыцарь, ни лжец не могли бы высказать такое утверждение. Следовательно, вы нормальный человек и, значит, не виновны.

104. Вы могли бы сказать: "Я не виновный рыцарь".

Присяжные, выслушав ваше признание, стали бы рассуждать следующим образом.

Первый шаг. Предположим, что он (то есть вы) был бы лжецом.

Тогда он не был бы рыцарем и, следовательно, не мог бы быть виновным рыцарем, поэтому его высказывание было бы истинным. Но это невозможно, так как лжецы не высказывают истинных утверждений. Следовательно, он не может быть лжецом.

Второй шаг. Нам известно, что он либо рыцарь, лицо нормальный человек. Если он нормальный человек, то он не виновен. Предположим, что он рыцарь. Тогда его высказывание истинно. Следовательно, он не может быть виновным рыцарем.

Поделиться:
Популярные книги

Законы Рода. Том 10

Андрей Мельник
10. Граф Берестьев
Фантастика:
юмористическая фантастика
аниме
фэнтези
5.00
рейтинг книги
Законы Рода. Том 10

Офицер

Земляной Андрей Борисович
1. Офицер
Фантастика:
боевая фантастика
7.21
рейтинг книги
Офицер

На границе империй. Том 3

INDIGO
3. Фортуна дама переменчивая
Фантастика:
космическая фантастика
5.63
рейтинг книги
На границе империй. Том 3

Наследие Маозари 6

Панежин Евгений
6. Наследие Маозари
Фантастика:
попаданцы
постапокалипсис
рпг
фэнтези
эпическая фантастика
5.00
рейтинг книги
Наследие Маозари 6

Камень. Книга вторая

Минин Станислав
2. Камень
Фантастика:
фэнтези
8.52
рейтинг книги
Камень. Книга вторая

Черный Маг Императора 11

Герда Александр
11. Черный маг императора
Фантастика:
юмористическое фэнтези
попаданцы
аниме
фэнтези
5.00
рейтинг книги
Черный Маг Императора 11

Отмороженный 9.0

Гарцевич Евгений Александрович
9. Отмороженный
Фантастика:
боевая фантастика
рпг
5.00
рейтинг книги
Отмороженный 9.0

Метатель

Тарасов Ник
1. Метатель
Фантастика:
боевая фантастика
попаданцы
рпг
фэнтези
фантастика: прочее
постапокалипсис
5.00
рейтинг книги
Метатель

Гоплит Системы

Poul ezh
5. Пехотинец Системы
Фантастика:
фэнтези
рпг
фантастика: прочее
5.00
рейтинг книги
Гоплит Системы

Хозяйка покинутой усадьбы

Нова Юлия
Любовные романы:
любовно-фантастические романы
5.00
рейтинг книги
Хозяйка покинутой усадьбы

Моя (не) на одну ночь. Бесконтрактная любовь

Тоцка Тала
4. Шикарные Аверины
Любовные романы:
современные любовные романы
7.70
рейтинг книги
Моя (не) на одну ночь. Бесконтрактная любовь

Газлайтер. Том 4

Володин Григорий
4. История Телепата
Фантастика:
попаданцы
альтернативная история
аниме
5.00
рейтинг книги
Газлайтер. Том 4

Боярышня Евдокия

Меллер Юлия Викторовна
3. Боярышня
Фантастика:
попаданцы
альтернативная история
5.00
рейтинг книги
Боярышня Евдокия

Опасная любовь командора

Муратова Ульяна
1. Проклятые луной
Фантастика:
фэнтези
5.00
рейтинг книги
Опасная любовь командора