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

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

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

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

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

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

Так что же такое алгебра логики и логическое высказывание?

Вспомним!

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

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

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

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