СВЯЗКА

- в традиционной логике элемент простого суждения, соединяющий субъект и предикат. В повседневном языке С. обычно выражается словами "есть", "суть", "является" и т. п., напр.: "Узбеки являются жителями Средней Азии". В обыденной речи С. часто опускается и приведенное выше предложение обычно выглядит так: "Узбеки живут в Средней Азии". Однако даже если С. не выражена каким-то специальным словом, она обязательно присутствуют в суждении. Напр., два понятия "город" и "населенный пункт" образуют суждение только после того, как их соединит С. "Город есть неселенный пункт". Поэтому схематическое представление простого суждения включает в себя три элемента - субъект, предикат и связку: "5 есть Р". С. может быть утвердительной или отрицательной ("есть" или "не есть"). Именно этим определяется качество простого суждения.

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