Логика высказываний, называемая также пропозициональной логикой - раздел математики и логики, изучающий логические формы сложных высказываний, построенных из простых или элементарных высказываний с помощью логических операций. Высказываниями принято считать такие предложения (написанные на "словесном" либо математическом языке), о которых можно сказать одно из двух: либо они являются истинными, либо ложными. С математическими высказываний проще всего: они всегда имеют либо значение "истина", либо значение "ложь"...

В предыдущей лекции (https://zen.yandex.ru/media/id/603a418d1684900aa2499416/vyskazyvaniia-i-operacii-nad-nimi-62387ae3fafc15385fd4161e) рассматривались основные операции Логики высказываний: унарная операция – отрицание (она же инверсия), бинарные логические операции: конъюнкция, дизъюнкция, импликация и эквавалентность. В этой лекции рассмотрим ещё несколько бинарных операций над высказываниями, а также определим понятие «Таблица истинности». В результате изучения этой лекции предполагается, что...