Логика для всех. От пиратов до мудрецов - Страница 40

Рассуждая аналогично, добираемся до семи мудрецов. Из слов проводника все узнали, что все знают, что все знают, что все знают, что все знают, что все знают, что все знают, что кто-то испачкался. Заметим, что глагол «знать» повторяется столько же раз, сколько было мудрецов и станций.

10.9. «Среди вас есть испачкавшиеся» означает, что на ком-то надет черный колпак. Никто не сообщал это мудрецам словами. Но зато они видели, что белых колпаков на один меньше, чем мудрецов.

Комментарий. А если бы их было на два меньше? Тогда как минимум на двух мудрецах были бы черные колпаки. Это бы соответствовало словам проводника «Среди вас как минимум двое испачкались». В таком случае мудрецы бы вышли на одну станцию раньше (а в задаче про колпаки цвет своего колпака назвал бы предпоследний мудрец).

Заметим, что для полного соответствия задач следовало не спрашивать мудрецов поочередно, а всех мудрецов одновременно просить написать, знают ли они цвет своего колпака, а затем показывать записки друг другу.

10.10. Смех.

10.11. Приведем возможный пример.

1. Вор Карл украл кораллы.

2. Его друг Фридрих знает, что Карл украл кораллы (но не доносит).

3. Следователь Шерлок знает, что Фридрих знает, что Карл украл кораллы (и хочет арестовать Фридриха).

4. Клара знает, что Шерлок знает, что Фридрих знает, что Карл украл кораллы (и предупреждает Фридриха, что ему надо скрыться).

5. Шерлок знает, что Клара знает, что Шерлок знает, что Фридрих знает, что Карл украл кораллы (и хочет допросить Клару).

6. Клара знает, что Шерлок знает, что Клара знает, что Шерлок знает, что Фридрих знает, что Карл украл кораллы (и благополучно скрывается вместе с Фридрихом).

Дополнительные задачи

Д1. Если Саша мальчик, а Женя девочка, то оба ребенка говорят правду. Противоречие. Если Саша девочка, а Женя мальчик, то оба ребенка врут, что не исключается условием «хотя бы один из них врет».

Ответ. Саша – девочка, а Женя – мальчик.

Д2. Рассмотрим честного конгрессмена в паре со всеми остальными по очереди. По условию 2 второй в паре всегда продажен.

Ответ. Один.

ДЗ. 1) Легко видеть, что Ваня говорит правду (если предположить, что он лжет и высказывание «Я не всегда говорю правду» не является правдой, то правдой будет: «Я всегда говорю правду», т. е. получится противоречие).

2) Так как смысл высказывания Антона такой же, то Антон тоже говорит правду.

3) По условию, один из мальчиков солгал, значит, это – Саша.

4) Саша сказал: «Антон не всегда говорит правду» – и при этом солгал, значит, Антон всегда говорит правду.

Ответ: Антон.

Д4. В этом утверждении говорится об истинности его самого. Поэтому его нельзя считать не истинным, ни ложным, то есть оно вообще не является высказыванием.

Комментарий. Рассмотрим такое решение. «Если это высказывание истинно, т. е. правил без исключения нет, то и из этого правила есть исключения, и правила без исключения все-таки есть. Пришли к противоречию. Значит, высказывание ложно, и существует хотя бы одно правило без исключения (хотя и не это)». Ошибка выходит на поверхность, если представить, что это правило единственное. И тогда правилу без исключения взяться неоткуда. Если же заранее договориться, что существуют хотя бы два правила, то эту фразу можно считать ложным высказыванием. Аналогично, если считать, что на Крите есть хотя бы два жителя, и только один из них сказал «Все критяне лжецы», парадокс Эпименида перестает быть парадоксом.

Д5. 1) Не каждый охотник желает знать, где сидит фазан. 2) Существует хотя бы один охотник, не желающий знать, где сидит фазан. 3) Некоторые охотники не желают знать, где сидит фазан.

Д6. Все лжецами быть не могли (в таком случае сказанное каждым оказалось бы правдой), был хотя бы один рыцарь. Он сказал правду, поэтому все остальные были лжецами.

Ответ. Один.

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

Ответ. Первое утверждение ложно, а остальные истинны.

Д8. 1) Некоторые друзья моего друга не являются моими друзьями. 2) Некоторые ананасы приятны на вкус. 3) Ни один волк не является оборотнем.

Д9. Чтобы разобраться в трех замысловатых условиях, удобно для начала перечислить все возможные виды зоопарков с точки зрения наличия жирафов, носорогов и гиппопотамов. Их всего восемь:

1) ЖНГ; 2) ЖГ; 3) ЖН; 4) Ж;

5) НГ; 6) Г; 7) Н; 8) .

Здесь запись ЖГ, например, означает, что в зоопарке есть жирафы, нет носорогов и есть гиппопотамы. В силу первого условия вычеркиваем зоопарки вида 1, в силу второго – вида 7, в силу третьего – вида 2. Теперь видно, что ничто не противоречит существованию зоопарков вида 6.

Эти рассуждения могут быть изображены с помощью кругов Эйлера. Области на рис. 30 пронумерованы в соответствии с приведенным списком. Зоопарки, запрещенные условием, закрашены серым. Зоопарки, соответствующие остальным областям, могут существовать, в том числе и соответствующие шестой области.

Ответ. Да.

Рис. 30

Д10. Чтобы выполнить пожелание Ани, необходимы и яблоки, и сливы. Чтобы порадовать Галю, нужны еще и персики. Остается лишь проверить, что Боря и Витя при этом тоже будут довольны.

Ответ. Надо купить яблоки, сливы и персики.

Д11. 1) Луна сделана не из сыра или Солнце не из масла.

2) Я не видел медведя или он видел меня.