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