Чего нет в шпаргалках: законы логики высказываний — Дискретная математика

В этом видео Джитти объясняет каждый закон пропозициональной логики и описывает то, что большинство людей упускают из виду, просто глядя на лист с формулами. Он рассматривает двойное отрицание, коммутативность, ассоциативность, идемпотентность, тождество, доминирование, дополнение, дистрибутивность, закон Де Моргана и закон поглощения. А также условный тождество. Доказательства с использованием законов пропозициональной логики (видео): https://www.youtube.com/watch?v=2mOED89DwO8 Плейлист по дискретной математике: https://www.youtube.com/playlist?list=PLlIjCL-XnH1ehHfLpUOwFBGIcCojkuLsO Временные метки: 0:00 Введение 0:23 Закон двойного отрицания 0:51 Ассоциативный закон 3:02 Коммутативный закон 4:13 Закон идемпотентности 5:30 Закон тождества 6:58 Закон доминирования 8:57 Закон дополнения 10:45 Дистрибутивный закон 13:49 Закон Де Моргана 14:45 Закон поглощения 17:35 Условное тождество