Урок 13

Тема урока "Логические операции "импликация", "эквивалентность". Законы алгебры логики. Эквивалентные преобразования логических выражений"

Сегодня на уроке вы:

вспомните ранее изученный материал о логических операциях (инверсия, конъюнкция, дизъюнкция) и правила построения таблиц истинности для логических выражений (8 класс);

узнаете об операциях строгая дизъюнкция, импликация, эквиваленция; познакомитесь с понятиями предикат и логическая функция;

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

Алгебра в широком смысле этого слова — наука об общих операциях, аналогичных сложению и умножению, которые могут выполняться над разнообразными математическими объектами. Многие математические объекты (целые и рациональные числа, многочлены, векторы, множества) ученики изучают в школьном курсе алгебры. Для информатики важен раздел математики, называемый алгеброй логики. В этом уроке вы будете изучать объект алгебры логики — высказывание.

Для удобства предлагаю вам Опорный конспект урока - можно скачать и распечатать или записать в тетрадь.

Выполни задания

1. Изучи предложенный материал.

2. Выполни задание в конце второго видеоролика "Алгоритм построения таблицы истинности" в тетради (выполненные задания можете присылать https://vk.com/anutkamiseeva annamiseeva2@gmail.com).

3. Ответь на вопросы теста ниже (скрин ответов на вопросы присылать не надо, они приходят автоматически)