Рэймонд Смаллиан - Как же называется эта книга?

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

Должны ли оба ответа быть одинаковыми?

На этот раз, прогуливаясь по острову, вы случайно набредете на островитянина, безнадежно увязшего у берега пруда, но сколько ни бьетесь, вам так и не удается извлечь его из тины. Вы помните, что его зовут то ли Эдвин, то ли Эдуард, но не можете вспомнить, как именно. Поэтому вы спрашиваете у островитянина, как его зовут, и слышите в ответ: «Эдуард».

Как зовут островитянина?

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

Перед нами трое людей A, B и C. Один из них рыцарь, другой лжец и третий — нормальный человек (типы людей могут быть перечислены не в том же порядке, в каком выписаны их «имена» A, B и C). Наши знакомые высказывают следующие утверждения.

A: Я нормальный человек.

B: Это правда.

C: Я не нормальный человек.

Кто такие A, B и C?

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

A: B — рыцарь.

B: A — не рыцарь.

Докажите, что по крайней мере один из них говорит правду, но это не рыцарь.

На этот раз A и B высказывают следующие утверждения:

A: B — рыцарь.

B: A — лжец.

Докажите, что либо один из них говорит правду, но это не рыцарь, либо один из них лжет, но это не лжец.

На одном острове, где живут рыцари, лжецы и нормальные люди, лжецы считаются особами низшего ранга, нормальные люди — особами среднего ранга и рыцари — особами высшего ранга.

Мне очень нравится следующая задача. Двое людей A и B, о каждом из которых известно, что он либо лжец, либо нормальный человек, высказывают утверждения:

A: По рангу я ниже, чем B.

B: Не правда!

Можно ли определить ранг A или B? Можно ли установить, истинно или ложно каждое из этих двух утверждений?

Трое людей A, B и C, %один из которых лжец, один — рыцарь, и один — нормальный человек% (на самом деле здесь стояло следущее: «…каждый из которых либо рыцарь, либо нормальный человек, либо лжец» Но в этом случае решение Смаллиана неверно, поэтому я слегка изменил условие — SStas), высказывают следующие утверждения:

A: B по рангу выше, чем C.

B: C по рангу выше, чем A.

Затем у C спрашивают: «Кто старше по рангу — A или B?» Что ответит C?

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

Следующие три истории происходят на острове Бахава.

Рассмотрим сначала супружескую чету — мистера и миссис A. Они высказывают следующие утверждения:

Мистер A: Моя жена — не нормальный человек.

Миссис A: Мой муж — не нормальный человек.

Кто такой мистер A и кто такая миссис A — рыцарь, лжец или нормальный человек?

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

Мистер A: Моя жена — нормальный человек.

Миссис A: Мой муж — нормальный человек.

Совпадает ли ответ этой задачи с ответом предыдущей задачи?

В этой задаче речь пойдет о двух супружеских парах с острова Бахава: мистере и миссис A, мистере и миссис B. При опросе трое из них дали следующие показания.

Мистер A: Мистер B — рыцарь.

Миссис A: Мой муж прав: мистер B — рыцарь.

Миссис B: Что верно, то верно. Мой муж действительно рыцарь.

Кто каждый из этих четырех людей — рыцарь, лжец или нормальный человек и какие из трех высказываний истинны?

26. Ни рыцарь, ни лжец не могут сказать: «Я лжец» (высказав подобное утверждение, рыцарь солгал бы, а лжец изрек бы истину). Следовательно, A, кем бы он ни был, не мог сказать о себе, что он лжец. Поэтому B, утверждая, будто A назвал себя лжецом, заведомо лгал. Значит, B — лжец. А так как C сказал, что B лгал, когда тот действительно лгал, то C изрек истину. Следовательно, C — рыцарь. Таким образом, B — лжец, а C — рыцарь. (Установить, кем был A, не представляется возможным.)

27. Ответ в этой задаче такой же, как в предыдущей, но ход рассуждений несколько иной.

Прежде всего заметим, что B и C не могут быть оба рыцарями или оба лжецами, так как B противоречит C. Следовательно, B и C не могут быть оба рыцарями или оба лжецами: один из них рыцарь, а другой — лжец. Если бы A был рыцарем, то всего было бы два рыцаря. Следовательно, A не лгал и сказал, что среди троих персонажей рыцарь лишь один. С другой стороны, если бы A был лжецом, то утверждение о том, что из трех островитян A, B и C рыцарь лишь один, было бы истинным. Но тогда A, будучи лжецом, не мог бы высказать это истинное утверждение. Следовательно, на вопрос незнакомца A не мог ответить: «Среди нас один рыцарь». Следовательно, B неверно передал высказывание A, из чего мы заключаем, что B — лжец, а C — рыцарь.

28. Предположим, что A — лжец. Если бы это было так, то утверждение «По крайней мере один из нас лжец» было бы ложным (так как лжецы высказывают ложные утверждения). Следовательно, в этом случае A и B были бы рыцарями. Таким образом, если бы A был лжецом, то он не был бы лжецом, что невозможно. Отсюда мы заключаем, что A не лжец, он рыцарь. Но тогда высказанное A утверждение должно быть истинным. Поэтому по крайней мере один из двух персонажей A и B в действительности лжец. Так как A — рыцарь, то лжецом должен быть B. Итак, A — рыцарь, а B — лжец.

29. Эта задача может служить неплохим введением в логику дизъюнкции. Пусть заданы два высказывания p, q. Высказывание «или p, или q» истинно, если истинно по крайней мере одно из высказываний p, q (или оба). Высказывание «или p, или q» ложно, если ложны оба высказывания p, q. Например, если бы я в хорошую погоду сказал: «Либо дождик, либо снег», то мое высказывание было бы ложным, потому что ложны обе его части: и та, в которой говорится о дожде, и та, в которой говорится о снеге.