[болеть (Коля)] [идти (Коля, школа)].
     Связки — еще одна синтаксическая категория единиц логического языка, используемая для экспликации пропозиционального содержания предложений. Связку можно рассматривать как не менее, чем двухместный предикат, аргументами которого могут быть только пропозиции. Помимо связки «если ... , то» (импликации, обозначаемой символом -* или Э) существуют и другие связки: «и» (конъюнкция, обозначаемая символом &), «или» (дизъюнкция, обозначаемая символом V). Связка «или» создает на базе двух или более пропозиций так называемое разделительное суждение. В естественном языке смысловой категории связки соответствует лексико-грамматическая категория союзов. Как и в случае с кванторными словами, союзов в ЕЯ больше, чем связок в логике. Семантика союза, как правило, включает в себя семантику той или иной логической связки, но помимо этого несет дополнительную информацию, относящуюся уже не к пропозициональному содержанию предложения, а к другим компонентам его семантики. Тонкий анализ семантики союзов на материале русского языка дан в работах [Левин 1970], [Крейдпин, Падучева 1974], [Латышева 1982], [Санников 1989]. Итак, две пропозиции могут состоять из одних и тех же реляционных структур, но различаться связками, соединяющими эти структуры. Например: Петя уехал, а Света приехала; Если Петя уехал, то Света приехала.