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

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