Элементы математической логики: логические высказывания и операции
Цели и задачи
- Цель по SMART: к концу урока учащиеся научатся распознавать простые и составные высказывания, определять их истинность и составлять таблицы истинности для операций НЕ, И, ИЛИ, решая не менее 4 из 5 учебных заданий без существенных ошибок.
- Сформировать представление о высказывании как утверждении, которому можно однозначно присвоить значение «истина» или «ложь».
- Научить применять логические операции отрицания, конъюнкции и дизъюнкции при анализе высказываний и условий компьютерных программ.
- Развивать исследовательские умения: выдвигать гипотезу, проверять её по наборам значений и формулировать вывод.
- Формировать навыки группового взаимодействия, аргументации, самооценки и осознанного выбора уровня сложности задания.
Планируемые результаты
Личностные
- Проявляют интерес к применению логики в программировании, поиске информации и повседневных решениях.
- Осознают ценность точного высказывания и проверки утверждений перед принятием решения.
- Уважительно относятся к различным способам рассуждения одноклассников и принимают ответственность за результат группы.
- Оценивают собственную готовность к выполнению заданий базового и повышенного уровня.
Метапредметные
- Формулируют учебную цель на основе выявленного затруднения и планируют последовательность действий.
- Извлекают информацию из схем, таблиц и цифрового интерактивного задания.
- Сравнивают результаты, находят ошибку в рассуждении и обосновывают выбранный ответ.
- Сотрудничают в группе, распределяют роли, представляют общий результат и осуществляют взаимопроверку.
Предметные
- Знать понятия «высказывание», «истина», «ложь», «логическая операция», «логическое выражение».
- Уметь отличать высказывания от вопросов, просьб и эмоциональных фраз.
- Уметь определять истинность простых высказываний и строить таблицы истинности операций НЕ, И, ИЛИ.
- Уметь переводить словесные условия в логические выражения и использовать их при решении задач по информатике.
Универсальные учебные действия (УУД)
Личностные УУД
- Определяют личный смысл изучения логики через связь темы с программированием и цифровыми технологиями.
- Проявляют самостоятельность при выборе уровня задания и способа представления творческого результата.
- Оценивают собственный вклад в работу группы и корректно воспринимают замечания.
Регулятивные УУД
- Принимают и сохраняют цель урока, сформулированную после анализа проблемной ситуации.
- Планируют проверку логического выражения по таблице значений.
- Осуществляют самоконтроль по эталону, фиксируют ошибку и выбирают способ её исправления.
- Оценивают результат по критериям и формулируют следующий шаг обучения.
Познавательные УУД
- Классифицируют фразы по признаку наличия истинностного значения.
- Строят модели логических операций в виде таблиц и схем.
- Анализируют зависимость результата составного высказывания от значений простых высказываний.
- Используют цифровой тренажёр или электронную таблицу для проверки гипотезы.
Коммуникативные УУД
- Распределяют роли в группе: координатор, аналитик, секретарь, докладчик.
- Задают уточняющие вопросы и аргументируют ответ ссылкой на правило или строку таблицы.
- Согласуют общий вывод при расхождении мнений.
- Представляют результат группы в кратком устном сообщении.
Подготовка учителя к уроку
- Подготовить презентацию или интерактивную доску с проблемной ситуацией, определениями и пустыми шаблонами таблиц истинности.
- Распечатать карточки трёх уровней сложности: базовые — по 1 на ученика, стандартные — по 1 на пару, повышенные — по 1 на группу.
- Подготовить маршрутные листы групп с ролями: координатор, секретарь, проверяющий, докладчик.
- Подготовить четыре набора карточек с фразами для классификации: высказывания, вопросы, команды и эмоциональные реплики.
- Разместить на доске памятку: «Высказывание имеет одно значение: истина или ложь»; «И — истинно, когда истинны оба условия»; «ИЛИ — истинно, когда истинно хотя бы одно условие»; «НЕ меняет значение на противоположное».
- Подготовить компьютер учителя, проектор, интерактивную доску и цифровой тренажёр или электронную таблицу для заполнения таблиц истинности.
- Распечатать лист самооценки и билет на выход — по одному экземпляру на каждого ученика.
- Подготовить творческое задание: придумать логическое условие для цифрового помощника, игры или системы доступа.
- Организовать группы по 4 человека с учётом разного уровня подготовки; предусмотреть возможность индивидуальной работы для ученика, которому требуется дополнительная опора.
Ход урока
Этап 1. Организационный момент и мотивация (3 мин)
Цель этапа: включить учащихся в учебную деятельность через проблемную ситуацию, связанную с работой цифровой системы.
Время | Действие учителя | Действие учеников |
|---|---|---|
1 мин | Учитель приветствует класс и показывает на экране условие доступа к системе: «Доступ разрешён, если пользователь ввёл правильный пароль и подтвердил, что ему уже исполнилось 14 лет. Как компьютер понимает слова “и”, “или”, “не”? Сегодня мы попробуем рассуждать так, как рассуждает программа». | Читают условие, называют знакомые слова «и», «если», «не», предполагают: «Компьютеру нужны точные правила». Формулируют интересующий вопрос. |
2 мин | Учитель предлагает приём «Подумай — обсуди в паре — поделись»: «Сначала 30 секунд подумайте самостоятельно, затем обсудите, какие ответы может получить компьютер. После этого несколько пар объяснят свою версию классу». Учитель фиксирует на доске варианты «да/нет», «истина/ложь». | Самостоятельно предлагают варианты, обсуждают их в парах около минуты, сообщают классу: «Условие может быть истинным или ложным», «Нужно проверять оба признака». |
Завершение этапа: учитель подводит итог: «Мы увидели, что компьютер не угадывает смысл фразы, а проверяет её по строгим правилам. Сейчас выясним, какие фразы являются высказываниями и как объединять их в логические выражения».
Этап 2. Актуализация знаний и выявление затруднения (5 мин)
Цель этапа: актуализировать представления об информации и обнаружить затруднение при определении истинности разных фраз.
Время | Действие учителя | Действие учеников |
|---|---|---|
2 мин | Учитель выводит на экран фразы: «Москва — столица России», «Закройте окно», «Который сейчас час?», «7 больше 3», «Как красиво!». «Поднимите карточку “В”, если фраза является высказыванием, и “Н”, если это не высказывание. Объясните спорные случаи». | Поднимают карточки и классифицируют фразы. Объясняют: «Москва — столица России» и «7 больше 3» имеют значение истина; вопрос и команда не являются высказываниями, потому что их нельзя оценить как истинные или ложные. |
3 мин | Учитель задаёт фронтальные вопросы: «Может ли одно высказывание быть одновременно истинным и ложным? Как записать высказывание “число 10 чётное”? А как — его отрицание?» На доске появляется обозначение $A$ и значения «истина», «ложь». | Отвечают: «Нет, в обычной логике у высказывания одно значение». Записывают пример $A$: «10 — чётное» — истина; $
eg A$: «10 — нечётное» — ложь. Фиксируют возникшее затруднение: «Не всегда понятно, как определить результат составного высказывания». |
Завершение этапа: учитель подводит итог: «Простое высказывание мы умеем оценивать, но для составного нужно знать правила логических операций. Давайте сформулируем цель и план нашего исследования».
Этап 3. Постановка проблемы и целеполагание (4 мин)
Цель этапа: совместно сформулировать цель урока и спланировать исследование таблиц истинности.
Посмотрите план целиком
Зарегистрируйтесь — и откройте план урока по этой теме полностью: цели, ход урока и рефлексия по ФГОС.
Время | Действие учителя | Действие учеников |
|---|---|---|
2 мин | Учитель предлагает метод «Снежный ком»: «Сначала каждый запишите, чему нужно научиться, чтобы компьютер мог проверить условие. Затем объединитесь в пары и выберите одну общую формулировку. После этого группа сформулирует цель класса». | Записывают личную формулировку, обсуждают её в парах, предлагают варианты: «Научиться определять истинность составных высказываний», «Построить таблицы для И, ИЛИ и НЕ». |
2 мин | Учитель помогает оформить план на доске: «1. Вспомнить, что такое высказывание. 2. Исследовать операции НЕ, И, ИЛИ. 3. Построить таблицы истинности. 4. Применить правила к условию и проверить себя». «Как поймём, что цель достигнута?» | Формулируют критерий: «Сможем правильно заполнить таблицу и объяснить результат». Записывают тему и цель урока в тетрадь. |
Завершение этапа: учитель подводит итог: «План исследования принят. Начнём с самой простой операции, которая изменяет значение высказывания на противоположное».
Этап 4. Открытие нового знания: исследование логических операций (12 мин)
Цель этапа: исследовательским методом вывести правила операций НЕ, И и ИЛИ и представить их в таблицах истинности.
Время | Действие учителя | Действие учеников |
|---|---|---|
3 мин | Учитель показывает на экране таблицу с двумя строками для операции НЕ: «Пусть $A$ — высказывание “Сегодня идёт дождь”. Если $A$ истинно, чему равно высказывание “Сегодня дождь не идёт”? А если $A$ ложно?» Учитель заполняет таблицу вместе с классом. | Предлагают значения «истина» и «ложь», заполняют: $A$: истина, ложь; $
eg A$: ложь, истина. Формулируют правило: «Отрицание меняет истинность высказывания на противоположную». |
5 мин | Учитель делит класс на группы и раздаёт карточки операции И. «В каждой группе перечислите все сочетания значений $A$ и $B$. Для каждого сочетания определите, когда фраза “$A$ и $B$” истинна. Секретарь заполняет таблицу, проверяющий ищет ошибку, докладчик готовит вывод». | В группах составляют четыре комбинации: истина/истина, истина/ложь, ложь/истина, ложь/ложь. Проверяют условие «ученик вошёл в систему и ввёл пароль». Делают вывод: «И истинно только тогда, когда истинны оба высказывания». |
4 мин | Учитель предлагает аналогично исследовать операцию ИЛИ: «Рассмотрите условие “ученик может выбрать кружок робототехники или программирования”. Должны ли быть истинны оба условия, чтобы доступ был разрешён? Сравните результат с операцией И». На доске фиксирует обозначения $A \land B$ и $A \lor B$. | Заполняют таблицу для ИЛИ, обсуждают различие бытового и логического значения слова «или». Формулируют: «ИЛИ истинно, если истинно хотя бы одно высказывание; ложно только при двух ложных высказываниях». |
Запись в тетрадях
- $\neg A$ — отрицание высказывания $A$; результат противоположен значению $A$.
- $A \land B$ — конъюнкция, истинна только при истинности $A$ и $B$.
- $A \lor B$ — дизъюнкция, истинна, если истинно хотя бы одно из высказываний $A$ и $B$.
Завершение этапа: учитель подводит итог: «Мы не просто запомнили правила, а вывели их, перебрав все возможные значения. Теперь проверим новое знание на конкретных выражениях».
Этап 5. Первичное закрепление в группах и фронтальная проверка (7 мин)
Цель этапа: закрепить алгоритм определения истинности логических выражений и научиться объяснять выбор по таблице.
Время | Действие учителя | Действие учеников |
|---|---|---|
4 мин | Учитель раздаёт группам карточки: «Пусть $A$ — “8 делится на 2”, $B$ — “8 больше 10”. Определите значения $A$, $B$, $\neg A$, $A \land B$, $A \lor B$. Выберите базовую карточку с готовой таблицей или стандартную — с пустой таблицей». | Группы выбирают уровень, записывают $A=1$, $B=0$, затем получают: $\neg A=0$, $A \land B=0$, $A \lor B=1$. Докладчик объясняет результат. |
3 мин | Учитель организует фронтальную проверку: «Покажите большой палец вверх, если согласны: выражение $A \lor B$ ложно только тогда, когда оба высказывания ложны. Почему?» Затем демонстрирует эталон на экране и предлагает группам провести взаимопроверку. | Сверяют решение с эталоном, отмечают одну сильную сторону работы группы и один совет. Отвечают: «Потому что при истинности хотя бы одного высказывания результат ИЛИ истинен». |
Эталон решения
$A$: «8 делится на 2» — истина, поэтому $A=1$. $B$: «8 больше 10» — ложь, поэтому $B=0$. Отрицание истинного высказывания ложно: $\neg A=0$. Для операции И нужны два значения 1: $A \land B=1 \land 0=0$. Для операции ИЛИ достаточно одного значения 1: $A \lor B=1 \lor 0=1$.
Завершение этапа: учитель подводит итог: «Алгоритм работает: сначала мы определяем значения простых высказываний, затем применяем правило нужной операции. Сейчас каждый проверит себя индивидуально».
Этап 6. Самостоятельная работа с дифференциацией и ИКТ (8 мин)
Цель этапа: индивидуально применить алгоритм, используя бумажную карточку или цифровой тренажёр, и выполнить самопроверку.
Время | Действие учителя | Действие учеников |
|---|---|---|
5 мин | Учитель предлагает выбор: «Уровень 1: определите истинность пяти простых высказываний. Уровень 2: вычислите значения трёх выражений с И, ИЛИ и НЕ. Уровень 3: составьте таблицу истинности для $(A \land B) \lor \neg A$. Можно выполнять задание на карточке или в электронном тренажёре. Выберите уровень, который позволит вам проверить себя, а не просто угадать ответ». | Индивидуально выполняют выбранный вариант. В цифровом тренажёре вводят значения строк таблицы; на бумаге заполняют таблицы и подчёркивают место, где применили правило. |
3 мин | Учитель выводит эталон: для выражения $(A \land B) \lor \neg A$ предлагает заполнить таблицу по шагам: сначала $A \land B$, затем $\neg A$, затем итоговое ИЛИ. «Не стирайте ошибку, поставьте рядом знак вопроса и исправьте её по правилу». | Сверяют строки с эталоном, исправляют ошибки, отмечают в листе самооценки: «могу определить высказывание», «могу построить таблицу», «могу объяснить правило». |
Завершение этапа: учитель подводит итог: «Самостоятельная проверка показала, какой шаг уже получается уверенно, а какой требует тренировки. Осталось применить логику в новой творческой ситуации».
Этап 7. Творческое задание и межпредметное применение (4 мин)
Цель этапа: перенести знания о логических операциях в контекст программирования и информационной безопасности.
Время | Действие учителя | Действие учеников |
|---|---|---|
1 мин | Учитель предлагает творческий выбор: «Придумайте условие для умного дома, компьютерной игры или системы доступа. Используйте минимум две логические операции и подпишите, когда условие сработает». Показывает пример: «Сигнализация включается, если дверь открыта и хозяин не подтвердил отключение». | Выбирают один контекст и распределяют роли в группе: автор условия, проверяющий, оформитель, докладчик. |
3 мин | Учитель просит две группы представить решения и задаёт вопрос: «Какие значения должны иметь простые высказывания, чтобы ваше условие стало истинным? Где в вашей модели используется И, ИЛИ или НЕ?» | Создают и записывают условие, например: «Игра запускается, если введён пароль и нажата кнопка “Старт”». Представляют результат, называют операции и приводят один набор значений, при котором условие истинно. |
Завершение этапа: учитель подводит итог: «Логика нужна не только в таблицах: она описывает правила доступа, поведение игры и работу умных устройств. Теперь зафиксируем, чему каждый научился и что ещё нужно уточнить».
Этап 8. Рефлексия и домашнее задание (2 мин)
Цель этапа: осмыслить результат урока, выявить затруднения и принять домашнее задание с учётом уровня подготовки.
Время | Действие учителя | Действие учеников |
|---|---|---|
1 мин | Учитель раздаёт билет на выход: «Закончите три фразы: “Высказывание — это…”, “Операция И истинна, когда…”, “Сегодня мне нужно потренировать…”. Положите билет на край стола». | Заполняют билет конкретными формулировками, указывают одну операцию или шаг алгоритма, требующий повторения. |
1 мин | Учитель объявляет домашнее задание: «Выберите обязательный уровень и, если готовы, добавьте повышающий или творческий. Перед уходом ответьте соседу на вопрос: чем логическое ИЛИ отличается от бытового “или”?» | Записывают выбранный уровень, отвечают: «В математической логике ИЛИ истинно, если истинно хотя бы одно из высказываний, в том числе оба». |
Критерии оценивания практической работы
- «5» — верно классифицированы все фразы, без ошибок заполнены таблицы для НЕ, И и ИЛИ, правильно вычислено не менее 4 из 5 выражений, а устное объяснение опирается на правила.
- «4» — правильно выполнены не менее 3 из 5 выражений, допущена одна неточность в таблице или формулировке правила, но общий алгоритм понятен.
- «3» — распознано большинство простых высказываний и верно определено хотя бы одно составное выражение при использовании памятки; требуется помощь при построении полной таблицы.
Рефлексия
Вопрос для ученика | Цель вопроса |
|---|---|
Что нового вы узнали о высказывании и его истинности? | Выявление осознания основного предметного понятия. |
Какое правило операции НЕ, И или ИЛИ вы можете объяснить без памятки? | Проверка прочности понимания логических операций. |
На каком шаге построения таблицы истинности возникло затруднение? | Выявление конкретной точки затруднения для коррекции. |
Какой уровень домашнего задания вы выбираете и почему? | Развитие самооценки и осознанного выбора сложности. |
Завершающее слово учителя
«Сегодня мы выяснили, что компьютерные условия строятся из точных высказываний и логических операций. Вы научились определять значения НЕ, И и ИЛИ и проверять их с помощью таблицы истинности. Самая частая ошибка — считать, что логическое ИЛИ требует истинности только одного условия; на самом деле оно допускает истинность обоих. На следующем уроке мы продолжим работать со сложными логическими выражениями и их преобразованием в алгоритмы».
Домашнее задание
Уровень | Что задать | Зачем |
|---|---|---|
Базовый (обязательный) | Выполнить 5 заданий: определить, какие из предложенных фраз являются высказываниями, установить их истинность и вычислить значения выражений с одной операцией НЕ, И или ИЛИ. | Закрепляет понятия высказывания и простых логических операций; при проверке обратить внимание на обоснование ответа. |
Средний (повышающий) | Составить таблицы истинности для трёх выражений с двумя операциями, например $(A \land B) \lor \neg A$, и записать краткое объяснение результата каждой строки. | Развивает пошаговый анализ составного выражения; при проверке смотреть на порядок промежуточных вычислений и полноту строк. |
Продвинутый (дополнительный) | Придумать условие для игры, системы доступа или умного устройства, записать его с помощью букв и операций НЕ, И, ИЛИ, а затем построить полную таблицу истинности. | Формирует творческое и алгоритмическое мышление; при проверке оценивать корректность модели, использование операций и связь с реальной ситуацией. |
Контрольные вопросы перед выходом: «Что называют высказыванием? Когда выражение $A \land B$ истинно? В каком случае выражение $A \lor B$ ложно? Что происходит со значением высказывания при применении операции НЕ?»
