Логика для всех. От пиратов до мудрецов. Инесса Раскина
забудем об условно съедобных грибах и будем каждый гриб считать либо съедобным, либо ядовитым.)
Ответ. Нет, не значит. В корзине могут лежать одновременно и съедобные, и ядовитые грибы.
Обсуждение. Неверно, что все грибы съедобны. Значит, съедобны НЕ ВСЕ грибы. То есть ХОТЯ БЫ ОДИН из грибов ядовит.
Задача 2.5. Рассмотрим два утверждения. Сколько из них могут быть верными?
1) В этой корзине все грибы съедобные.
2) В этой корзине есть хотя бы один ядовитый гриб.
Ответ. Верно ровно одно утверждение.
Решение. Начнем внимательно перебирать грибы по одному. Первый же найденный нами ядовитый гриб окажется одновременно и контрпримером, опровергающим первое высказывание, и примером, подтверждающим второе. А если, перебрав всю корзину, ядовитого гриба мы так и не найдем, то верным окажется только первое утверждение. В любом случае одно из двух утверждений истинно, а другое ложно.
Комментарий. Почему так получилось? Потому что утверждения «В этой корзине все грибы съедобные» и «В этой корзине есть хотя бы один ядовитый гриб» противоположны, то есть одно из них является отрицанием другого. А по закону исключенного третьего в этом случае как раз и верно ровно одно из двух.
Итак, чтобы построить отрицание к высказыванию про всех, надо заменить:
• «всех» на «некоторых»;
• свойство на противоположное (например, «ядовитое» на «съедобное»).
Задача 2.6. Лжец сказал: «В этой корзине некоторые грибы ядовитые». Что можно узнать из этого высказывания?
Решение. Если бы в корзине был хотя бы один ядовитый гриб, лжец был бы прав. Поэтому ядовитых грибов в корзине нет. Другими словами, все грибы в этой корзине съедобны.
Итак, чтобы построить отрицание к высказыванию про некоторых, надо заменить:
• «некоторых» на «всех»;
• свойство на противоположное (например, «ядовитое» на «съедобное»).
Задача 2.7. Дано утверждение: «Все малышки хорошо поют». Незнайка сформулировал к нему отрицание: «Все малышки поют отвратительно».
1) Как с помощью закона исключенного третьего убедить Незнайку, что он ошибся?
2) Сформулируйте отрицание правильно.
Решение. 1) По закону исключенного третьего верно ровно одно из двух: либо утверждение, либо его отрицание. Найдя двух малышек, одна из которых поет хорошо, а вторая плохо, мы убедимся, что неверно ни само утверждение, ни его «отрицание», придуманное Незнайкой.
2) «Существует хотя бы одна малышка, которая поет плохо». Или «Некоторые малышки поют плохо».
Задача 2.8. Постройте отрицания к каждому утверждению, не используя частицу «не». Где сможете, укажите, что верно: утверждение или его отрицание. Где сможете, обоснуйте свое мнение примером или контрпримером.
1) На Земле существует хотя бы одна гора выше 10000 м над уровнем моря.
2) Существует хотя бы один вулкан с высотой более 10000 м относительно своего основания.
3) Любой жук помещается в спичечном коробке.
4) Некоторые горные реки быстрые.
5) Бутерброд всегда падает маслом