Урок 11. Решение логических задач Планируемые образовательные результаты:
предметные – навыки составления и преобразования логических выражений
в соответствии с логическими законами;
метапредметные – навыки формализации высказываний, анализа
и преобразования логических выражений; навыки выбора метода для решения конкретной задачи;
личностные –
понимание роли фундаментальных знаний как основы современных информационных
технологий.
Решаемые учебные задачи:
1) рассмотрение способа решения логических задач с использованием таблиц истинности;
2) закрепление навыков построения и анализа таблиц истинности;
3) рассмотрение способа решения логических задач путем составления и преобразования логических выражений;
4) формирование умений преобразования логических высказываний.
Основные понятия, изучаемые на уроке:
![]()
логическое высказывание;
![]()
логическое выражение;
логическое значение;
![]()
логическая операция;
![]()
таблица истинности;
законы алгебры логики.
Используемые на уроке средства ИКТ:
персональный компьютер (ПК) учителя, мультимедийный
проектор, экран;
ПК учащихся.
Электронные образовательные ресурсы
презентация «Элементы алгебры логики» из электронного приложения к
учебнику;
ресурсы федеральных образовательных порталов:
1) информационный модуль «Решение логических задач» (fcior.edu.ru);
2) практический модуль «Решение логических задач» (fcior.edu.ru);
3) контрольный модуль «Решение логических задач» (fcior.edu.ru);
4) демонстрационная версия логической головоломки Шерлок
(http://www.kaser.com).
Особенности изложения содержания темы урока В начале урока осуществляется:
1) визуальная проверка выполнения заданий в РТ;
2) рассмотрение заданий, вызвавших затруднения при выполнении домашнего задания.
Новый материал излагается в сопровождении презентации «Элементы алгебры логики», в процессе изложения нового материала можно выборочно пользоваться материалами информационного и практического модулей «Решение логических задач». Решаются задачи № 62, 64 в РТ.
Ответы и решения к заданиям в РТ.
№ 62.
|
В |
К |
С |
Слова В |
Слова К |
Слова С |
|
|||
|
В |
¬К |
¬К |
¬С |
¬С |
¬В |
|
|||
|
|
|
|
|
||||||
|
1 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
|
|
0 |
1 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
|
|
|
|
|
|
0 |
0 |
|
1 |
0 |
|
1 |
|
|
1 |
0 |
|
0 |
|
1 |
|
|
|
|
||
|
Ответ: Окно разбил Коля. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
№ 63 (стр. 32) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
Б |
Л |
|
К |
Показания Б |
|
Показания Л |
|
Показания К |
|
||||||||||||||
|
|
|
¬Б |
|
|
Л |
|
¬Л |
|
¬К |
|
|
¬Л |
|
|
Б |
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
1 |
1 |
|
0 |
|
0 |
|
|
1 |
|
0 |
|
1 |
|
|
0 |
|
|
1 |
|
||||
|
|
1 |
0 |
|
1 |
|
0 |
|
|
0 |
1 |
0 |
|
|
1 |
|
1 |
|
|||||||
|
|
0 |
1 |
|
1 |
|
1 |
|
|
1 |
0 |
0 |
|
|
0 |
|
0 |
|
|||||||
Ответ: Преступление совершили Лиходеев и Брагин.
№ 64. Обозначим высказывательную форму «юноша по имени А носит фамилию Б» как АБ, где буквы А и Б соответствуют начальным буквам имени и фамилии. Зафиксируем высказывания каждого из друзей:
![]()
слова Димы: ДМ и БХ;
слова Антона: АМ и ВБ;
![]()
слова Бориса: ВТ и БМ;
слова Вадима: ВБ и ГЧ;
![]()
слова Гриши: ГЧ и АТ.
Вариант 1. Допустим сначала, что истинно ДМ. Но, если истинно ДМ, то у Антона и у Бориса должны быть другие фамилии, значит АМ и БМ ложно.
Но если АМ и БМ ложны, то должны быть истинны ВБ и ВТ, но ВБ и
ВТ одновременно истинными быть не могут.
Значит, остается другой случай: истинно БХ. Этот случай приводит к
цепочке умозаключений: БХ истинно
БМ ложно
ВТ истинно
АТ ложно
ГЧ истинно
ВБ ложно
АМ истинно.
Вариант 2. Так как дизъюнкция истинного и ложного высказывания
истинна, а каждый из друзей один раз сказал правду, то можно записать:
ДМ+БХ=1;АМ+ВБ=1;ВТ+БМ=1;ВБ+ГЧ=1;ГЧ+АТ.=1.
Произведение истинных слагаемых истинно:
(ДМ + БХ ) (АМ + ВБ) (ВТ + БМ) (ВБ + ГЧ) (ГЧ + АТ)= 1.
![]()
![]()
![]()
![]()
Будем последовательно раскрывать скобки:
(ДМАМ + БХ АМ + ДМ ВБ+ БХ ВБ) (ВТ + БМ) (ВБ + ГЧ) (ГЧ + АТ)=1. Сомножитель ДМАМ=0, так как не могут быть одновременно истинными
![]()
![]()
![]()
высказывания «Дима Мишин» и «Антон Мишин».
(БХ АМ + ДМ ВБ+ БХ ВБ) (ВТ + БМ) (ВБ + ГЧ) (ГЧ + АТ)= БХ АМВТ (ВБ +
![]()
+ГЧ) (ГЧ + АТ)= БХ АМВТ ГЧ (ГЧ + АТ)= БХ АМВТ ГЧ.
Ответ: Борис — Хохлов, Вадим — Тихонов, Гриша — Чехов, Антон — Мишин, Дима — Белкин.
№ 65. Вариант 1. Решим задачу с помощью таблицы истинности.
|
Б |
З |
Р |
|
Мнение Юрия |
|
Мнение Виктора |
|
Мнение Леонида |
|
|||||||||
|
|
¬Б |
|
|
З |
|
Б |
|
|
¬З |
|
¬Р |
|
|
Б |
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
1 |
0 |
0 |
|
0 |
|
|
0 |
|
1 |
|
|
1 |
|
1 |
|
|
1 |
|
|
0 |
1 |
0 |
1 |
|
1 |
0 |
|
0 |
1 |
|
0 |
|
||||||
|
0 |
0 |
|
1 |
1 |
0 |
0 |
1 |
|
0 |
0 |
|
|
|
Вариант 2. Составим логическое выражение: |
|
|
||||||
![]()
![]()
![]()
![]()
![]()
![]()
(¬Б1+З1) (Б1+¬З1) (¬Р1+Б1)=¬Б1 ¬З1 (¬Р1+Б1)=¬Б1 ¬З1 Б1.
Ответ: Турнир выиграла «Барселона».
Домашнее задание. §1.3 (п. 5); задание № 12 к параграфу; № 63, 65 в РТ. Дополнительное задание: работа с контрольным модулем «Решение логических задач» (ученики выборочно выполняют посильные им задания). Для повышения мотивации можно рекомендовать ученикам ознакомиться с
демонстрационной версией логической головоломки Шерлок (http://www.kaser.com).
Материалы на данной страницы взяты из открытых источников либо размещены пользователем в соответствии с договором-офертой сайта. Вы можете сообщить о нарушении.