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

Логические связки – специальные логические символы, используемые для образования сложных высказываний (формул) из элементарных. Логическими связками называют также соответствующие этим символам союзы естественного языка. Иногда логические связки также называют пропозициональными связками (от лат. proposition – предложение, суждение, высказывание). Первая теория логических связок была разработана в рамках стоицизма. Основной единицей стоической логики является не термин (понятие), как у Аристотеля, а «высказанное» (λεϰτόν)...