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

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

2) Снова разместим сантехников и рэперов в пересекающихся кругах. В пересечении кругов, как и прежде, расположены сантехники, любящие рэп. Сантехники, НЕ любящие рэп, окажутся в серой части рисунка 2. Если таковых нет (т. е. все сантехники любят рэп), то серая часть пуста.

Рис. 2

Чтобы показать это на рисунке, принято изображать круг сантехников внутри круга рэперов (см. рис. 3).

Рис. 3

Сравнение рисунков 3 и 4 помогает понять, почему смысл высказываний «Все сантехники любят рэп» и «Все любители рэпа – сантехники» разный.

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

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

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

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

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

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

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

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

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

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

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

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

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

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