Предмет этого занятия – общие и частные высказывания. В формальной логике для их записи используют всего два квантора (квантор общности 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. Вася говорит, что слова «для всех» и «для каждого» означают одно и то же. Прав ли Вася?
Решение. Вопрос скорее лингвистический, чем математический. Часто смысл предложения действительно не меняется при замене «для всех» на «для каждого» и соответствующих изменениях формы слов. Например, «Для всех принцесс горошины под периной невыносимы» означает то же, что и «Для каждой принцессы горошина под периной невыносима». Но вот если вместо «Выдать зимовщикам для всех одну пару валенок» попросить «Выдать зимовщикам для каждого одну пару валенок», зимовщики наверняка