Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
urok4_opredelenieformyislvyiskipostrtablicistin...doc
Скачиваний:
8
Добавлен:
01.03.2025
Размер:
171.52 Кб
Скачать

Дополнительное задание

Формализуйте приведённое ниже высказывание и постройте для него таблицу истинности:

F= {Если все стороны четырёхугольника равны, а он не является квадратом, то один из его углов не является прямым}

Подведение итогов урока

- Сегодня на уроке мы работали со сложными высказываниями. Научились определять формы сложных высказываний, рассмотрели алгоритм построения таблиц истинности для сложного высказывания.

Кратко повторить алгоритм построения таблицы истинности.

- Мы также рассмотрели понятия тождественно истинных и тождественно ложных высказываний, эквивалентных высказываний, научились с помощью таблиц истинности определять данные типы высказываний.

Постановка домашнего задания

  1. Разобрать конспект урока.

  2. Выучить все определения и алгоритм построения таблицы истинности из конспекта урока.

  3. Выполнить упражнения с карточки в тетради. Листочек с классной работой вклеить в тетрадь, карточку принести.

Все пункты заданий на карточке учитель должен прокомментировать.

Карточка для домашней работы

  1. Определите формы следующих сложных высказываний:

А) Е= Вчера было пасмурно, а сегодня ярко светит солнце.

Б) К= И добродетель стать пороком может, когда её неправильно приложат. (У. Шекспир.)

В) Р= Люди получают высшее образование тогда и только тогда, когда они заканчивают институт, университет или академию.

  1. Постройте таблицы истинности следующих сложных высказываний и определите, являются ли эти высказывания тождественно истинными:

А ) А В А; Б) А (В А·В); *в) (А В) А)

  1. Докажите эквивалентность следующих высказываний:

F1= {Если одно слагаемое делиться на 3 и сумма делится на 3, то и второе слагаемое делится на 3};

F2= {Если одно слагаемое делится на три, а второе не делится на 3, то сума не делится на три}.

  1. Дополнительное задание.

Выберите высказывание, эквивалентное данному не (неА и не(В и С)).

А) А и В или С и А; Б) (А или В) и (А или С); В) А и (В или С); Г) А или (не В или не С).

1 (по книге В. Лысковой и Е. Ракитиной «Логика в информатике)

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]