Задача 1.10*. Житель острова Крит говорит: «Все критяне лжецы». Истинно или ложно это высказывание? (В этой задаче Крит считается островом рыцарей и лжецов.)
Задача 1.11. К каждому из высказываний сформулируйте отрицание. Определите, что верно: утверждение или его отрицание.
1) Сумма двух двузначных чисел – двузначное число.
2) Сумма двух четных чисел – четное число.
3) Прямоугольник размером 20 х 15 можно разрезать на прямоугольники размером 3x5.
4) Квадрат размером 2015 х 2015 можно разрезать на прямоугольники размером 20 х 15.
5) В нашей школе найдутся два ученика, имеющие одинаковое число друзей среди учеников нашей школы.
6) * Через отверстие, прорезанное в листке из школьной тетради, человек пролезть не может.
…о великий, могучий, правдивый и свободный русский язык!
И. С. Тургенев. «Русский язык»
Предмет этого занятия – общие и частные высказывания. В формальной логике для их записи используют всего два квантора (квантор общности V и квантор существования 3). А в бытовом языке вместо кванторов используют самые разные слова, что порой приводит к недоразумениям. Задачи 2.1, 2.2 и 2.13 помогают разобраться в способах передачи кванторов общности и существования средствами русского языка.
Смысл общих и частных высказываний удобно иллюстрировать с помощью кругов Эйлера. Рекомендуем их использовать при обсуждении задач 2.3, 2.11, 2.12, 2.16, несмотря на то что для решения предложенных задач часть учеников в иллюстрациях не нуждается. Во-первых, другой части учеников картинка может существенно помочь. Во-вторых, навык работы с кругами Эйлера еще никому не повредил. Надеемся, что в задаче 2.16 удобство трех кругов оценят и те, кому два круга в предыдущих задачах казались излишним «наворотом». В-третьих, использование кругов Эйлера позволяет почувствовать родство логики и теории множеств.
Задачи 2.4–2.10, 2.14, 2.15 связаны с построением отрицания к общим и частным высказываниям. Меньше всего нам бы хотелось, чтобы итогом занятия стала формулировка соответствующей пары правил, которое дети будут потом применять в задачах. А больше всего – чтобы они грамотно строили отрицания, не задумываясь о правилах. Если на этом занятии дети много ошибаются, продолжайте предлагать на последующих занятиях аналогичные упражнения (в том числе из раздела дополнительных задач) до победного конца.
Можно ли одну и ту же мысль выразить по-разному? Насколько сильно зависит смысл русского предложения от порядка слов? Всегда ли одинаково следует понимать одни и те же слова? Не будем пытаться на одном занятии изучить весь русский язык. Ограничимся несколькими словами и выражениями: «все», «каждый (любой)», «некоторые», «существует», «хотя бы один».
Задача 2.1. 1) Серый Волк заинтересовался цветом шапочек. Однажды он встретил Красную Шапочку. Помогите Волку сделать правильный вывод. Придумайте несколько вариантов.
2) Выразите другими словами мысль «Все шапочки красные».
Решение. 1) Можно сказать: «Некоторые шапочки красные». Но можно и по-другому. Например, так:
Шапочки бывают красные.
Иногда встречаются красные шапочки и т. п.
Математики любят говорить точно: «Существует хотя бы одна красная шапочка».
2) «Шапочки всегда красные», «Любая шапочка красная» или «Каждая шапочка красная».
Задача 2.2. Вася говорит, что слова «для всех» и «для каждого» означают одно и то же. Прав ли Вася?
Решение. Вопрос скорее лингвистический, чем математический. Часто смысл предложения действительно не меняется при замене «для всех» на «для каждого» и соответствующих изменениях формы слов. Например, «Для всех принцесс горошины под периной невыносимы» означает то же, что и «Для каждой принцессы горошина под периной невыносима». Но вот если вместо «Выдать зимовщикам для всех одну пару валенок» попросить «Выдать зимовщикам для каждого одну пару валенок», зимовщики наверняка заметят разницу.
Задача 2.3. 1) Означают ли одно и то же высказывания: «Некоторые сантехники любят рэп» и «Некоторые любители рэпа – сантехники»?
2) Означают ли одно и то же высказывания: «Все сантехники любят рэп» и «Все любители рэпа – сантехники»?
Ответ. 1) Да. 2) Нет.
Рис. 1
Решение. 1) Чтобы лучше разобраться в смысле высказываний, изобразим их с помощью кругов Эйлера (см. рис. 1). Пусть в одном круге находятся сантехники, в другом – любители рэпа. Если первое высказывание истинно, то круги непременно пересекаются, и в пересечении кругов располагается хотя бы один сантехник, любящий рэп. Но ровно это же требуется и для истинности второго утверждения. Поэтому они означают одно и то же.
2) Снова разместим сантехников и рэперов в пересекающихся кругах. В пересечении кругов, как и прежде, расположены сантехники, любящие рэп. Сантехники, НЕ любящие рэп, окажутся в серой части рисунка 2. Если таковых нет (т. е. все сантехники любят рэп), то серая часть пуста.
Рис. 2
Чтобы показать это на рисунке, принято изображать круг сантехников внутри круга рэперов (см. рис. 3).
Рис. 3
Сравнение рисунков 3 и 4 помогает понять, почему смысл высказываний «Все сантехники любят рэп» и «Все любители рэпа – сантехники» разный.