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