Кванторы: запись и смысл математических утверждений
Цели и задачи
- Цель по SMART: к концу урока научиться распознавать кванторы всеобщности и существования, записывать с их помощью математические утверждения и определять истинность простых высказываний с кванторами.
- Сформировать представление о кванторе всеобщности $\forall$ и кванторе существования $\exists$ как специальных обозначениях условий «для любого» и «существует хотя бы один».
- Научиться переводить высказывания с русского математического языка на язык символов и обратно.
- Развивать умение анализировать область рассуждения, находить контрпример и аргументировать ответ.
- Воспитывать ответственное отношение к точности формулировок и уважение к различным стратегиям рассуждения.
Планируемые результаты
Личностные
- Осознают ценность точного математического языка при описании закономерностей и доказательстве утверждений.
- Проявляют познавательный интерес к способам записи рассуждений, используемым в математике, информатике и программировании.
- Принимают необходимость проверять собственные выводы и корректно обсуждать решения одноклассников.
- Развивают самостоятельность при выборе способа проверки истинности высказывания.
Метапредметные
- Выделяют ключевые слова «любой», «каждый», «существует», «найдётся» и соотносят их с математическими символами.
- Преобразуют текстовую информацию в символическую запись и обратно.
- Планируют проверку утверждения: перебором, доказательством или поиском контрпримера.
- Аргументируют выводы в парной и групповой работе, задают уточняющие вопросы.
- Осуществляют самопроверку по эталону и корректируют ошибки в записи.
Предметные
- Знать смысл квантора всеобщности $\forall$ и квантора существования $\exists$.
- Уметь читать записи вида $\forall x\in A: P(x)$ и $\exists x\in A: P(x)$.
- Уметь записывать простые высказывания с использованием кванторов и указывать область значений переменной.
- Уметь определять истинность высказывания с квантором существования предъявлением примера, а высказывания с квантором всеобщности — доказательством или контрпримером.
- Владеть математической речью при объяснении различия между «для каждого» и «существует хотя бы один».
Универсальные учебные действия (УУД)
Личностные УУД
- Связывают точность математической записи с ответственностью за смысл высказывания.
- Формируют внутреннюю позицию ученика, способного самостоятельно проверять гипотезы.
- Проявляют готовность признавать ошибку в рассуждении и использовать её для коррекции.
- Осознают практическую значимость логических обозначений для алгоритмов и программ.
Регулятивные УУД
- Формулируют цель урока на основе обнаруженного затруднения в понимании слов «все» и «некоторые».
- Планируют последовательность: определить область, выделить условие, выбрать квантор, проверить запись.
- Контролируют наличие области определения и соответствие символа смыслу высказывания.
- Оценивают результат по критериям и исправляют неверные записи.
- Распределяют время при выполнении индивидуальной карточки.
Познавательные УУД
- Сравнивают высказывания с кванторами всеобщности и существования.
- Строят логическую модель текстового утверждения.
- Классифицируют высказывания по типу квантора.
- Используют контрпример для опровержения утверждения с квантором всеобщности.
- Извлекают информацию из таблицы, символической записи и краткого текста.
Коммуникативные УУД
- Объясняют партнёру смысл математической записи без подмены понятий.
- Согласуют общий ответ в паре и распределяют роли «читатель» и «проверяющий».
- Формулируют вопросы к высказыванию: «Для всех ли?», «Есть ли хотя бы один?».
- Аргументируют позицию примером, доказательством или контрпримером.
- Корректно оценивают решение одноклассника по заданным критериям.
Подготовка учителя к уроку
- Подготовить презентацию или запись на доске с парами высказываний: «Каждое натуральное число больше нуля» и «Существует натуральное число, большее 100».
- Распечатать карточки трёх уровней по одной на каждого ученика: базовый, средний и повышенный; подготовить 2 запасных экземпляра.
- Распечатать карточки для парной работы по одной на парту с текстовыми высказываниями и вариантами кванторов.
- Подготовить два набора карточек-символов $\forall$, $\exists$, $\in$, $:$ и буквы переменных для работы у доски.
- Вывести на доску или экран памятку: $\forall$ — «для любого», $\exists$ — «существует хотя бы один», а также алгоритм записи.
- Подготовить листы для приёма «Знаю — хочу узнать — узнал» по одному на ученика.
- Организовать на доске место для эталона и таблицы «квантор — словесный смысл — способ проверки».
- Обеспечить проектор или интерактивную доску, маркеры двух цветов и таймер на 2–4 минуты.
Ход урока
Этап 1. Организационный момент и мотивация (3 мин)
Цель этапа: включить учащихся в учебную деятельность и показать практическую проблему точности слов «все» и «некоторые».
Время | Действие учителя | Действие учеников |
|---|---|---|
1 мин | Учитель приветствует класс: "Здравствуйте, ребята. Проверьте, что на столе есть тетрадь, ручка и карточка для короткой записи. Сегодня мы будем не просто считать, а исследовать, как одним символом передать важную часть математического смысла. Это пригодится тем, кто интересуется программированием, данными и доказательствами." | Проверяют готовность, записывают дату, настраиваются на работу. |
2 мин | Учитель показывает две записи: «Каждое натуральное число чётное» и «Существует натуральное число, которое чётно». Учитель спрашивает: "Чем отличаются эти утверждения? Можно ли считать их одинаковыми? Как быстро опровергнуть первое и подтвердить второе?" | Сравнивают высказывания, обсуждают 30 секунд в парах и отвечают: "Первое относится ко всем числам и ложно, второе — хотя бы к одному и истинно; пример — 2". |
Завершение этапа: учитель подводит итог: "Одни слова требуют проверить каждого представителя множества, а другим достаточно найти одного подходящего. Сегодня мы узнаем, как записывать эту разницу коротко и точно."
Этап 2. Актуализация знаний и выявление затруднения (5 мин)
Цель этапа: актуализировать понятия множества, переменной и математического высказывания, зафиксировать затруднение в формальной записи.
Время | Действие учителя | Действие учеников |
|---|---|---|
2 мин | Учитель записывает: $A=\{1,2,3,4,5\}$, $P(x): x>2$. "Определите, для каких элементов множества $A$ условие $P(x)$ истинно. Как словами записать утверждение о каждом элементе?" | Называют $3,4,5$, формулируют: «для каждого элемента множества $A$ выполняется условие $x>2$»; замечают, что это утверждение ложно. |
2 мин | Учитель предлагает высказывания: «Все квадраты — прямоугольники» и «Некоторые прямоугольники — квадраты». "Какие слова показывают объём утверждения? Как проверить истинность каждого?" | Выделяют слова «все» и «некоторые», объясняют: первое проверяется доказательством общего свойства, второе — предъявлением примера. |
1 мин | Учитель предлагает записать символами фразу «для любого натурального числа $n$ число $n+1$ натуральное», но пока не сообщает обозначения. "Попробуйте предложить краткую запись. Что именно пока неизвестно?" | Предлагают варианты, фиксируют затруднение: нет специального символа для слов «для любого» и «существует». |
Завершение этапа: учитель подводит итог: "Мы умеем понимать смысл слов, но пока не умеем компактно записывать его математически. Значит, наша задача — открыть два обозначения и научиться пользоваться ими без потери смысла."
Этап 3. Постановка проблемы и целеполагание (4 мин)
Цель этапа: совместно сформулировать цель и алгоритм открытия нового знания.
Время | Действие учителя | Действие учеников |
|---|---|---|
2 мин | Учитель организует приём «Подумай — обсуди в паре — поделись»: "Сначала 30 секунд подумайте сами, затем минуту обсудите с соседом. Какие два разных смысла нужно обозначить? Что должно быть указано в записи кроме самого символа?" | Индивидуально формулируют предположение, затем в парах называют два смысла: «для всех» и «хотя бы для одного»; указывают на необходимость области, например натуральных чисел. |
2 мин | Учитель фиксирует на доске вопросы: «Как обозначить “для любого”? Как обозначить “существует”? Как читать запись? Как проверять истинность?». "Сформулируйте цель урока одним предложением. Выберите, какой вопрос вы будете особенно отслеживать." | Формулируют цель: «Научиться записывать и читать утверждения с кванторами и проверять их истинность». Выбирают вопрос для самоконтроля. |
Посмотрите план целиком
Зарегистрируйтесь — и откройте план урока по этой теме полностью: цели, ход урока и рефлексия по ФГОС.
Завершение этапа: учитель подводит итог: "Цель определена, вопросы поставлены. Теперь исследуем примеры и сами выведем правило, а затем проверим его на задачах разного уровня."
Этап 4. Открытие нового знания (10 мин)
Цель этапа: открыть смысл кванторов $\forall$ и $\exists$, научиться читать и составлять записи с указанием области переменной.
Время | Действие учителя | Действие учеников |
|---|---|---|
3 мин | Учитель показывает на доске запись $\forall x\in\mathbb{N}: x+1>x$ и говорит: "Рассмотрим знак $\forall$. Он называется квантором всеобщности и читается «для любого» или «для каждого». В записи указано, что $x$ принадлежит множеству натуральных чисел, а затем сформулировано свойство. Прочитайте запись полностью." | Читают: «Для любого натурального числа $x$ выполняется неравенство $x+1>x$». Выделяют область $\mathbb{N}$ и свойство $x+1>x$. |
3 мин | Учитель записывает $\exists x\in\mathbb{N}: x^2=9$. "Знак $\exists$ называется квантором существования. Он означает: существует хотя бы один элемент, для которого условие истинно. Найдите такой элемент и прочитайте запись." | Называют $x=3$ и $x=-3$ не подходит для натуральных чисел; читают: «Существует натуральное число $x$, квадрат которого равен 9». Уточняют: достаточно предъявить $x=3$. |
2 мин | Учитель организует «Снежный ком»: "Сначала каждый придумайте высказывание с квантором всеобщности, затем объединитесь в пары и выберите наиболее ясное. После этого две пары сравнят формулировки." | Придумывают, например, $\forall n\in\mathbb{N}: n+0=n$, обсуждают область и смысл, представляют одну запись классу. |
2 мин | Учитель выводит памятку: "Алгоритм такой: 1) назвать область; 2) выделить условие; 3) определить, говорится ли о каждом или хотя бы об одном; 4) выбрать $\forall$ или $\exists$; 5) прочитать запись обратно и проверить смысл." | Записывают алгоритм, задают вопросы, проговаривают различие: «$\forall$ требует общего рассуждения, $\exists$ подтверждается одним примером». |
Запись в тетрадях
Квантор всеобщности $\forall$ читается «для любого», «для каждого». Запись $\forall x\in A: P(x)$ означает: для любого элемента $x$ множества $A$ выполняется условие $P(x)$. Квантор существования $\exists$ читается «существует хотя бы один». Запись $\exists x\in A: P(x)$ означает: существует элемент $x$ множества $A$, для которого выполняется условие $P(x)$.
Завершение этапа: учитель подводит итог: "Мы открыли два квантора и увидели, что область переменной является частью смысла записи. Теперь проверим новое правило сначала вместе, а затем каждый самостоятельно."
Этап 5. Первичное закрепление в парах (7 мин)
Цель этапа: закрепить чтение и составление записей с кванторами через взаимное объяснение и поиск контрпримеров.
Время | Действие учителя | Действие учеников |
|---|---|---|
3 мин | Учитель раздаёт карточки парам: 1) «Для любого целого числа $x$ число $x^2$ неотрицательно»; 2) «Существует целое число $x$, для которого $x^2=4$»; 3) «Для каждого натурального $n$ число $2n$ чётное». "Запишите утверждения символами, прочитайте их обратно и подчеркните область переменной." | В парах записывают соответственно $\forall x\in\mathbb{Z}: x^2\ge 0$, $\exists x\in\mathbb{Z}: x^2=4$, $\forall n\in\mathbb{N}: 2n$ — чётное; взаимно проверяют область и квантор. |
2 мин | Учитель предлагает утверждение: $\forall x\in\mathbb{Z}: x^2>x$. "Истинно ли оно? Не пытайтесь проверять все числа. Какой контрпример разрушит утверждение?" | Находят контрпример $x=0$: $0^2>0$ ложно; формулируют: «Одного контрпримера достаточно, чтобы опровергнуть утверждение с $\forall$». |
2 мин | Учитель предлагает обратную проверку: $\exists x\in\mathbb{Z}: x^2=0$. "Что нужно сделать, чтобы подтвердить это высказывание?" | Предъявляют $x=0$, подставляют: $0^2=0$, делают вывод: «Высказывание истинно». |
Эталон решения
Для утверждения $\forall x\in\mathbb{Z}: x^2>x$ достаточно найти один контрпример: при $x=0$ получаем $0^2=0$, а условие требует $0>0$, что неверно. Следовательно, утверждение ложно. Для утверждения $\exists x\in\mathbb{Z}: x^2=0$ предъявляем $x=0$ и проверяем равенство $0^2=0$. Следовательно, утверждение истинно.
Завершение этапа: учитель подводит итог: "В парной работе мы увидели главный приём: существование подтверждаем примером, а всеобщность опровергаем контрпримером. Сейчас каждый проверит, насколько уверенно умеет применять этот алгоритм самостоятельно."
Этап 6. Самостоятельная работа с самопроверкой (9 мин)
Цель этапа: проверить индивидуальное освоение чтения, записи и определения истинности высказываний с кванторами.
Время | Действие учителя | Действие учеников |
|---|---|---|
1 мин | Учитель предлагает выбор карточки: "Выполните обязательное задание базового уровня. Если готовы, после него выберите повышенный уровень. Работайте самостоятельно, рядом с каждым ответом указывайте, чем он подтверждён: примером, доказательством или контрпримером." | Выбирают карточку, записывают номер уровня и приступают к работе. |
5 мин | Учитель выдаёт задания: «А. Запишите символами: а) для любого целого $x$ число $x+0$ равно $x$; б) существует натуральное число, кратное 7. Б. Прочитайте записи: $\forall n\in\mathbb{N}: n\ge1$ и $\exists x\in\mathbb{Z}: x^2=16$. В. Определите истинность: $\forall x\in\mathbb{Z}: x+1>x$; $\exists n\in\mathbb{N}: n^2=25$». | Выполняют работу: записывают $\forall x\in\mathbb{Z}:x+0=x$ и $\exists n\in\mathbb{N}:7\mid n$; читают формулы; подтверждают истинность первого утверждения доказательством, второго — примером $n=5$. |
3 мин | Учитель показывает эталон: $\forall x\in\mathbb{Z}:x+1>x$; $\exists n\in\mathbb{N}:n^2=25$. "Сверьте не только ответ, но и область, знак квантора, математическую запись и способ проверки. Ошибку исправьте другим цветом." | Сверяют решения, отмечают совпадения, исправляют ошибки, выставляют себе количество выполненных пунктов. |
Завершение этапа: учитель подводит итог: "Самопроверка показала, что важны все четыре шага: область, квантор, условие и обоснование. Осталось связать новый язык с уже известными способами рассуждения и сформулировать личный вывод."
Этап 7. Включение в систему знаний и рефлексия (7 мин)
Цель этапа: обобщить способы проверки высказываний, осмыслить результат и определить дальнейший шаг обучения.
Время | Действие учителя | Действие учеников |
|---|---|---|
3 мин | Учитель чертит на доске таблицу «Квантор — смысл — проверка»: $\forall$ — «для каждого» — доказательство или контрпример; $\exists$ — «существует хотя бы один» — предъявление примера. "Заполните пропуски и приведите по одному своему примеру." | Заполняют таблицу в тетради, приводят примеры: $\forall n\in\mathbb{N}: n+1>n$ и $\exists x\in\mathbb{Z}:x^2=1$. |
2 мин | Учитель проводит приём «Светофор»: "Зелёная карточка — вы уверенно различаете кванторы, жёлтая — иногда путаете область или способ доказательства, красная — нужна помощь. Поднимите карточку и назовите один вопрос, который ещё требует тренировки." | Поднимают карточки, называют затруднение: «читать символы», «указывать множество», «подбирать контрпример». |
2 мин | Учитель раздаёт «Билет на выход»: "Ответьте письменно на два вопроса: 1) Что означает $\exists x\in A:P(x)$? 2) Как опровергнуть утверждение с $\forall$? Допишите один пример." | Пишут ответы: «существует хотя бы один элемент множества $A$, для которого истинно $P(x)$»; «найти контрпример»; приводят собственный пример. |
Завершение этапа: учитель подводит итог: "Сегодня вы научились переводить слова «для любого» и «существует» на язык кванторов, читать записи и выбирать способ проверки. Сохраните билет на выход: он поможет начать следующий урок с точечного повторения."
Критерии оценивания практической работы
- «5» — верно выполнены все задания выбранного уровня, правильно указаны области переменных, кванторы и приведены обоснования; запись читается без смысловых ошибок.
- «4» — выполнено не менее 80% заданий, допущена одна неточность в символической записи или формулировке, но смысл кванторов и способ проверки понятны.
- «3» — выполнено не менее 50% обязательных заданий, различие $\forall$ и $\exists$ в основном распознано, однако есть ошибки в области переменной или обосновании.
- Работа требует доработки, если ученик не различает значения кванторов, не указывает область или заменяет доказательство всеобщего утверждения одним примером.
Рефлексия
Вопрос для ученика | Цель вопроса |
|---|---|
Что означает запись $\forall x\in A:P(x)$? | Проверка осознания смысла квантора всеобщности и роли области переменной. |
Как доказать утверждение с $\exists$ и как опровергнуть утверждение с $\forall$? | Выявление понимания разных способов проверки истинности. |
Какая ошибка сегодня была для вас наиболее вероятной: выбор квантора, область или обоснование? | Выявление индивидуальных точек затруднения для коррекции. |
Где кванторы могут пригодиться за пределами урока математики? | Связь темы с программированием, алгоритмами и повседневной аргументацией. |
Завершающее слово учителя
"Сегодня мы открыли язык кванторов и увидели, как одна маленькая деталь меняет смысл всего утверждения. Запомните: один пример подтверждает существование, но не доказывает всеобщность; зато один контрпример опровергает утверждение «для любого». Всегда проверяйте область переменной и читайте формулу обратно словами. На следующем уроке мы продолжим работать с логической структурой высказываний и научимся строить более сложные математические рассуждения."
Домашнее задание
Уровень | Что задать | Зачем |
|---|---|---|
Базовый (обязательный) | Составить 6 высказываний по теме: 3 с квантором всеобщности и 3 с квантором существования; для каждого указать область переменной, записать символами и прочитать словами. | Закрепляет различение кванторов и точность математической записи; проверять наличие области и соответствие символа смыслу. |
Средний (повышающий) | Решить 4 задания: перевести два текстовых высказывания в символическую форму, прочитать две записи и определить истинность каждой с примером, доказательством или контрпримером. | Формирует полный алгоритм работы с квантором; проверять не только ответ, но и способ обоснования. |
Продвинутый (дополнительный) | Придумать два связанных высказывания с одной областью: одно истинное с $\forall$, другое истинное с $\exists$, а затем составить к одному из них ложный вариант и опровергнуть его контрпримером. | Развивает создание математической модели и понимание того, как изменение квантора меняет смысл утверждения. |
Контрольные вопросы перед выходом из класса: «Как читается $\forall$?», «Как читается $\exists$?», «Что обязательно указать после квантора?», «Каким способом можно опровергнуть высказывание с квантором всеобщности?»
