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

Рис. 4. Все любители рэпа – сантехники

Задача 2.4.Лжец сказал: «Вэтой корзине все грибы съедобны». Значит ли это, что все грибы в этой корзине ядовиты? (Для простоты забудем об условно съедобных грибах и будем каждый гриб считать либо съедобным, либо ядовитым.)

Ответ.Нет, не значит. В корзине могут лежать одновременно и съедобные, и ядовитые грибы.

Обсуждение.Неверно, что все грибы съедобны. Значит, съедобны НЕ ВСЕ грибы. То есть ХОТЯ БЫ ОДИН из грибов ядовит.

Задача 2.5.Рассмотрим два утверждения. Сколько из них могут быть верными?

1) В этой корзине все грибы съедобные.

2) В этой корзине есть хотя бы один ядовитый гриб.

Ответ.Верно ровно одно утверждение.

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

Комментарий.Почему так получилось? Потому что утверждения «В этой корзине все грибы съедобные» и «В этой корзине есть хотя бы один ядовитый гриб» противоположны, то есть одно из них является отрицанием другого. А по закону исключенного третьего в этом случае как раз и верно ровно одно из двух.

Итак, чтобы построить отрицание к высказыванию про всех, надо заменить:

• «всех» на «некоторых»;

• свойство на противоположное (например, «ядовитое» на «съедобное»).

Задача2.6. Лжец сказал: «В этой корзине некоторые грибы ядовитые». Что можно узнать из этого высказывания?

Решение.Если бы в корзине был хотя бы один ядовитый гриб, лжец был бы прав. Поэтому ядовитых грибов в корзине нет. Другими словами, все грибы в этой корзине съедобны.

Итак, чтобы построить отрицание к высказыванию про некоторых, надо заменить:

• «некоторых» на «всех»;

• свойство на противоположное (например, «ядовитое» на «съедобное»).

Задача 2.7.Дано утверждение: «Все малышки хорошо поют». Незнайка сформулировал к нему отрицание: «Все малышки поют отвратительно».

1) Как с помощью закона исключенного третьего убедить Незнайку, что он ошибся?

2) Сформулируйте отрицание правильно.

Решение. 1)По закону исключенного третьего верно ровно одно из двух: либо утверждение, либо его отрицание. Найдя двух малышек, одна из которых поет хорошо, а вторая плохо, мы убедимся, что неверно ни само утверждение, ни его «отрицание», придуманное Незнайкой.

2) «Существует хотя бы одна малышка, которая поет плохо». Или «Некоторые малышки поют плохо».

Задача 2.8.Постройте отрицания к каждому утверждению, не используя частицу «не». Где сможете, укажите, что верно: утверждение или его отрицание. Где сможете, обоснуйте свое мнение примером или контрпримером.

1) На Земле существует хотя бы одна гора выше 10000 м над уровнем моря.

2) Существует хотя бы один вулкан с высотой более 10000 м относительно своего основания.

3) Любой жук помещается в спичечном коробке.

4) Некоторые горные реки быстрые.

5) Бутерброд всегда падает маслом вниз.

Ответ. 1)Верно отрицание: любая гора на Земле не выше 10000 м над уровнем моря. Обосновать утверждение такого типа примером нельзя, знание высоты Эвереста (8848 м) не доказывает, что более высоких гор нет.

2) Верно утверждение. Пример – вулкан Мауна-Кеа на Гавайских островах с высотой 10203 м от основания (и «всего» 4205 м над уровнем моря). Последний раз этот вулкан извергался несколько тысяч лет назад. А самый высокий вулкан Солнечной системы – гора Олимп на Марсе имеет высоту 21,2 км от основания.

3) Верно отрицание: существует хотя бы один жук, не помещающийся в спичечном коробке. Пример – жук-голиаф из подсемейства бронзовки, обитающий в Африке. Длина его тела достигает 11 см.

4) Верно утверждение. Примером служит любая горная река.

5) Не стоит относиться к этой задаче всерьез. Для точного построения отрицания потребуется сначала строго определить, что такое бутерброд. Например, может ли он вообще не содержать масла? Мы предполагаем, что при любом определении верным окажется отрицание, но для приведения примера может потребоваться тренировка.