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

2) Использование антонима («У него деньжонок мало») вновь приводит к ошибке: денег у него может и вовсе не быть. Спасительное «не» не спасает. Правильное отрицание звучит так: «У него деньжонок мало или совсем нет»

3) Тут все ясно. Любовь либо есть, либо ее нет. Отрицание: «Я денежки не люблю».

1.9. 1)Если контроль за прическами есть, то красить волосы нельзя. Если его отменят, то можно. Но директор возражает против отмены – значит, все же нельзя.

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

Комментарий.Это утверждение является двойным отрицанием (другими словами, отрицанием отрицания). Истинному утверждению соответствует ложное отрицание и снова истинное двойное отрицание.

2) Если контроль за прическами есть, то красить волосы нельзя. Если решили его запретить, то можно. Если это решение отменить, то снова нельзя. Но директор возражает против отмены – значит, все же можно.

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

Комментарий.Здесь отрицание встречается трижды (возражает, отмена, запрет) – т. е. нечетное число раз. Так как пары отрицаний «нейтрализуют» друг друга, то можно считать, что контроль просто отрицается.

1.10. Решение 1.Если бы данное высказывание было истинным, этот критянин был бы лжецом и не мог делать истинных утверждений. Если оно ложное, противоречия нет: этот критянин лжет, но на острове есть другие критяне, которые говорят правду.

Ответ 1.Ложно.

Решение 2.Как доказано в первом решении, эта фраза не является истинным высказыванием. А теперь представьте, что фразу «Все критяне лжецы» сказали все критяне одновременно (например, что говоривший – единственный житель острова). Если это ложное высказывание, то все критяне солгали, что делает каждое высказывание истинным.

Ответ 2.Фразу «Все критяне лжецы», сказанную критянином, вообще нельзя считать высказыванием и обсуждать ее истинность.

Комментарий.В задаче изложен парадокс Эпименида – вариант знаменитого парадокса лжеца. Считается, что греческий философ Филит Косский умер от истощения и бессонницы, пытаясь его разрешить. Чтобы не последовать его примеру, мы избрали простейший путь – исключили из рассмотрения утверждения, говорящие о своей истинности. Более сложная точка зрения изложена в главе о парадоксах книги Рэймонда М. Смаллиана «Как же называется эта книга?».

1.11. 1)Верно отрицание: «Сумма двух двузначных чисел может не быть двузначной». В ошибочности формулировки отрицания «Сумма двух двузначных чисел – не двузначное число» поможет убедиться закон исключенного третьего.

2) Утверждение верно. Его отрицание – «Сумма двух четных чисел может не быть четным числом». Ребята скорее всего скажут «Сумма двух четных чисел может быть нечетным числом». Признаем и такую формулировку допустимой, считая заранее известным, что сумма целых чисел – целое число и что все целые числа либо четные, либо нечетные.

3), 4) Для получения отрицания достаточно заменить «можно» на «нельзя» или «невозможно». В пункте 3 верно утверждение. Например, можно сторону 20 разделить на 4 равных части, а сторону 15 – на 5 равных частей и провести через точки деления прямые, параллельные сторонам. В пункте 4 верно отрицание: площадь исходного квадрата нечетна, а предполагаемых частей – четна.

5) Пусть в школе n учеников. Каждый может иметь от 0 до n – 1 друга – всего n вариантов. Но все эти варианты одновременно реализоваться не могут: если у кого-то n – 1 друг (т. е. он дружит со всеми остальными учениками), то никто другой не может вообще не иметь друзей. Поэтому вариантов меньше, чем учеников, и какой-то вариант соответствует хотя бы двум ученикам.

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

Рис. 21

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МБ.

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