
- •Алгебра логики. Определение формы сложных высказываний, построение таблиц истинности
- •Этапы урока
- •Ход урока
- •§3. Алгебра логики. Определение формы сложных высказываний, построение таблиц истинности
- •Алгоритм построения таблицы истинности
- •§4. Алгебра логики. Тождественно истинные, тождественно ложные и эквивалентные высказывания
- •Дополнительное задание
- •Подведение итогов урока
- •Постановка домашнего задания
Дополнительное задание
Формализуйте приведённое ниже высказывание и постройте для него таблицу истинности:
F= {Если все стороны четырёхугольника равны, а он не является квадратом, то один из его углов не является прямым}
Подведение итогов урока
- Сегодня на уроке мы работали со сложными высказываниями. Научились определять формы сложных высказываний, рассмотрели алгоритм построения таблиц истинности для сложного высказывания.
Кратко повторить алгоритм построения таблицы истинности.
- Мы также рассмотрели понятия тождественно истинных и тождественно ложных высказываний, эквивалентных высказываний, научились с помощью таблиц истинности определять данные типы высказываний.
Постановка домашнего задания
Разобрать конспект урока.
Выучить все определения и алгоритм построения таблицы истинности из конспекта урока.
Выполнить упражнения с карточки в тетради. Листочек с классной работой вклеить в тетрадь, карточку принести.
Все пункты заданий на карточке учитель должен прокомментировать.
Карточка для домашней работы |
А) Е= Вчера было пасмурно, а сегодня ярко светит солнце. Б) К= И добродетель стать пороком может, когда её неправильно приложат. (У. Шекспир.) В) Р= Люди получают высшее образование тогда и только тогда, когда они заканчивают институт, университет или академию. |
А |
F1= {Если одно слагаемое делиться на 3 и сумма делится на 3, то и второе слагаемое делится на 3}; F2= {Если одно слагаемое делится на три, а второе не делится на 3, то сума не делится на три}. |
Выберите высказывание, эквивалентное данному не (неА и не(В и С)). А) А и В или С и А; Б) (А или В) и (А или С); В) А и (В или С); Г) А или (не В или не С). |
1 (по книге В. Лысковой и Е. Ракитиной «Логика в информатике)