Логика. Часть 7: Эквивалентные логические утверждения и законы Де Моргана для логики

Описание: Хотите узнать, как доказать логическую эквивалентность двух утверждений? Посмотрев это видео, вы узнаете! Логическая эквивалентность означает, что они имеют одинаковые значения истинности в одинаковых ситуациях. Итак, мы построим таблицы истинности для пары утверждений и сравним результаты. Мы также рассмотрим два особых случая эквивалентности утверждений, называемых законами ДеМоргана.

Это часть моего плейлиста по логике:
Этот плейлист по логике охватывает почти всю главу по логике в курсе MGF1106, который я преподаю. Вот как эти видео соотносятся с учебником, который мы используем в моей школе: «Математические идеи», 14-е издание, Миллер, Хорнсби и Хирен:

Логика, часть 1: Логические высказывания, союзы, квантификаторы (раздел 1 учебника)
Логика, часть 2: Истинностные значения конъюнкций (раздел 2 учебника)
Логика, часть 3: Истинностные значения дизъюнкций (также раздел 2 учебника)
Логика, часть 4: Истинностные значения сложных высказываний с союзами «и», «или» и «не» (также раздел 2 учебника)
Логика, часть 5: Что такое таблицы истинности? (Также Раздел 2 учебника)
Логика, часть 6: Подробнее о таблицах истинности и их построении (Также Раздел 2 учебника)
Логика, часть 7: Эквивалентные логические высказывания и законы Де Моргана (Также Раздел 2 учебника)
Логика, часть 8: Условные предложения и тавтологии (Также Раздел 3 учебника)
Логика, часть 9: Условные предложения с продолжением: отрицания и эквивалентные высказывания (Также Раздел 3 учебника)
Логика, часть 10: Условные предложения и родственные им высказывания: обратные, инверсные, контрапозитивные (Также Раздел 4 учебника)
Логика, часть 11: Как записывать утверждения типа «если...то» другими словами (Также Раздел 4 учебника)
Логика, часть 12: Диаграммы Эйлера для определения допустимости аргумента (Также Раздел 5 учебника)
Логика, часть 13: Таблицы истинности для определения допустимости или недопустимости аргумента (Раздел 6 учебника)