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

6) Для формулировки отрицания убрать «не» недостаточно. Если уточнить: «Через любое отверстие…», то ясно, что это общее высказывание, к которому отрицание строится так: «В листке из школьной тетради можно прорезать такое отверстие, через которое может пролезть человек». С такими высказываниями мы еще встретимся на втором занятии. Как ни странно, верно именно отрицание. На рис. 21 показано, как вырезать подходящее отверстие. Чем чаще разрезы, тем более длинная и узкая «змейка» будет его ограничивать.

Рис. 21

Занятие 2

2.9. 1) Да, могут. Если все грибы съедобны. 2) Да, могут. Если в корзине есть и съедобные, и несъедобные грибы. 3) Да, могут. Если съедобных грибов вообще нет.

2.10. Нет, не является. Эти высказывания вполне могут выполняться одновременно.

2.11. Иллюстрации изображены на рисунке 22. Одинаковый смысл имеют третье и четвертое высказывания.

2.12. Денис не прав. Он путает высказывания «У всех великих людей плохой почерк» и «Все люди с плохим почерком– великие» (см. рис. 23).

2.13. Правду сказали все трое.

Комментарий. «Хотя бы один» означает «Ровно один или больше одного». В данном случае у Зайца «хотя бы один» означает «ровно один», у Волка – «двое», у Лисы – «все трое».

2.14. «Некоторые врачи имеют недостаточный опыт. Каждый врач хоть когда-нибудь ставил неправильный диагноз. Некоторые врачи опаздывают на работу. Некоторые пациенты недовольны лечением. Некоторые пациенты жалуются на бытовые условия. Никто не выздоравливает за один день».

Рис. 22

Рис. 23

2.15. Рыцарь не может сказать «Все мы лжецы», поэтому первый – лжец. Второй сказал правду: «Не все мы лжецы», поэтому он – рыцарь. В комнате больше трех человек (так как первый солгал), но не больше четырех (так как второй сказал правду), то есть ровно четыре. Поэтому третий солгал, и лжецов среди них меньше трех. А двух лжецов мы уже знаем – это первый и третий.

Ответ. Всего в комнате четверо. Лжецов из них двое: первый и третий.

2.16. Заведем на каждого человека досье:

Если у человека есть телевизор, будем писать Т, если нет—T.

Если человек является маляром, будем писать М, если нет—М.

Если человек каждый день купается в бассейне, будем писать Б, если нет—Б.

Например, про человека, не являющегося маляром, имеющего телевизор и каждый день купающегося в бассейне, напишем ТМБ. По этим трем признакам все люди делятся на 8 групп:

1) ТМБ; 2) ТМБ; 3) ТМБ; 4) ТМБ;

5) TМБ; 6) TМБ; 7) TМБ; 8) TМБ.

Условие «Среди людей, имеющих телевизоры, не все являются малярами» означает, что хотя бы в одной из двух групп, третьей и четвертой, есть хотя бы один человек. Условие «Люди, каждый день купающиеся в бассейне, но не являющиеся малярами, не имеют телевизоров» означает, что третья группа людей пуста. Значит, в четвертой группе кто-то есть. И эти люди (или человек) владеют телевизорами, но не каждый день купаются в бассейне.

Рис. 24

Этому решению можно придать более наглядный вид (рис. 24). Вместо таинственных трехбуквенных кодов нарисуем три круга. В один поместим всех владельцев телевизоров, в другой – маляров, в третий – ежедневно посещающих бассейн. Людей, удовлетворяющих всем трем условиям, попросим разместиться на пересечении всех трех кругов, помеченном цифрой 1. Такие люди относятся к первой группе ТМБ. Люди из других групп тоже окажутся на территориях с прежними номерами. Восьмой группе предоставим территорию за пределами всех трех кругов. Дальнейшие рассуждения ничем не отличаются от предыдущей версии.

Ответ. Да, следует.

Занятие 3

3.5. Прав, если считать, что марсиан не существует: ведь любое утверждение обо всех элементах пустого множества истинно.

3.6. 1) Нельзя, так как сумма масс 1 + 2 +… + 30 = 31 × 15 – нечетное число. 2) Можно. Пример можно построить, например, так. Сначала сформируем пятнадцать пар гирек веса 31: 1 + 30, 2 + 29 и т. д. Затем возьмем в каждую из трех куч по пять любых пар.

3.7. 1) Предположим, что таблицу заполнить удалось. Если найти сумму чисел во всех строках, то она окажется четным числом, а если во всех столбцах – то нечетным. Но это одно и то же число.

Ответ. Нельзя.

2) Для приведения примера достаточно заполнить первую строку двойками, а остальные – единицами. Заметим, что если заполнить квадрат 3x3 как попало, а остальные числа ставить в соответствии с условием, пример не может не получиться!

Ответ. Можно.

3.8. Нет. Контрпример изображен на рис. 25.

Рис. 25

3.9. Нет. Контрпример: 2⁷ + 15 = 128 + 15 = 143 = 11 · 13.

Комментарий. В настоящее время неизвестно ни одной формулы для вычисления простых чисел.

3.10. Приведем несколько из многих возможных примеров:

1) 1111111212 делится на 12, 1111111125 делится на 15, 1111111432 делится на 16.

2) 111… 1151121792 делится на 128 (все пропущенные цифры – единицы), 222… 22399925 делится на 225 (все пропущенные цифры – двойки).

Ответ. Да.