Логическая связка

Символ, связывающий сентенциальные формулы в логике

Диаграмма Хассе логических связок.

В логике логическая связка (также называемая логическим оператором , сентенциальной связкой или сентенциальным оператором ) является логической константой . Связки могут использоваться для соединения логических формул. Например, в синтаксисе пропозициональной логики бинарная связка может использоваться для соединения двух атомарных формул и , что дает сложную формулу . ${\displaystyle \lor }$ ${\displaystyle P}$ ${\displaystyle Q}$ ${\displaystyle P\lor Q}$

Обычные связки включают отрицание , дизъюнкцию , конъюнкцию , импликацию и эквивалентность . В стандартных системах классической логики эти связки интерпретируются как функции истинности , хотя в неклассических логиках они получают множество альтернативных интерпретаций . Их классические интерпретации похожи на значения выражений естественного языка, таких как английские «not», «or», «and» и «if», но не идентичны. Расхождения между связками естественного языка и связками классической логики мотивировали неклассические подходы к значению естественного языка, а также подходы, которые сочетают классическую композиционную семантику с надежной прагматикой .

Логическая связка похожа, но не эквивалентна, синтаксису, который обычно используется в языках программирования и называется условным оператором . ^{[1] [ нужен лучший источник ]}

Обзор

В формальных языках функции истинности представлены однозначными символами. Это позволяет логическим утверждениям не пониматься двусмысленно. Эти символы называются логическими связками , логическими операторами , пропозициональными операторами или, в классической логике , связками истинности-функциональности . Правила, которые позволяют строить новые правильно построенные формулы путем присоединения других правильно построенных формул с помощью связок истинности-функциональности, см. в разделе правильно построенная формула .

Логические связки могут использоваться для связывания нуля или более утверждений, поэтому можно говорить о n -арных логических связках . Булевы константы True и False можно рассматривать как нуль-арные операторы. Отрицание является 1-арной связкой и т. д.

Список общих логических связок

Наиболее часто используемые логические связки включают следующие. ^[2]

• Отрицание (not) : , , (префикс) в котором является самым современным и широко используемым, а также используется многими людьми; ${\displaystyle \neg }$ ${\displaystyle \sim }$ ${\displaystyle N}$ ${\displaystyle \neg }$ ${\displaystyle \sim }$
• Союз (и) : , , (префикс) в котором является наиболее современным и широко используемым; ${\displaystyle \wedge }$ ${\displaystyle \&}$ ${\displaystyle K}$ ${\displaystyle \wedge }$
• Дизъюнкция (или) : , (префикс) в котором является наиболее современным и широко используемым; ${\displaystyle \vee }$ ${\displaystyle A}$ ${\displaystyle \vee }$
• Импликация (если...тогда) : , , , (префикс) в котором является наиболее современным и широко используемым, а также используется многими людьми; ${\displaystyle \to }$ ${\displaystyle \supset }$ ${\displaystyle \Rightarrow }$ ${\displaystyle C}$ ${\displaystyle \to }$ ${\displaystyle \supset }$
• Эквивалентность (тогда и только тогда, когда) : , , , , (префикс) в котором является наиболее современным и широко используемым, а также может быть хорошим выбором по сравнению с обозначением импликации, например , . ${\displaystyle \leftrightarrow }$ ${\displaystyle \subset \!\!\!\supset }$ ${\displaystyle \Leftrightarrow }$ ${\displaystyle \equiv }$ ${\displaystyle E}$ ${\displaystyle \leftrightarrow }$ ${\displaystyle \subset \!\!\!\supset }$ ${\displaystyle \supset }$ ${\displaystyle \leftrightarrow }$ ${\displaystyle \to }$

Например, значение утверждений « идёт дождь » (обозначается как ) и «я в помещении » (обозначается как ) трансформируется, когда они объединяются логическими связками: ${\displaystyle p}$ ${\displaystyle q}$

• Дождя нет ( ) ; ${\displaystyle \neg p}$
• Идет дождь , и я нахожусь в помещении ( ); ${\displaystyle p\wedge q}$
• Идет дождь или я нахожусь в помещении ( ); ${\displaystyle p\lor q}$
• Если идет дождь, то я нахожусь в помещении (); ${\displaystyle p\rightarrow q}$
• Если я нахожусь в помещении, то идет дождь (); ${\displaystyle q\rightarrow p}$
• Я нахожусь в помещении только тогда, когда идет дождь ( ). ${\displaystyle p\leftrightarrow q}$

Также принято считать, что всегда истинная формула и всегда ложная формула являются связными (в этом случае они являются нулевыми ).

• Истинная формула: , , (префикс), или ; ${\displaystyle \top }$ ${\displaystyle 1}$ ${\displaystyle V}$ ${\displaystyle \mathrm {T} }$
• Ложная формула: , , (префикс) или . ${\displaystyle \bot }$ ${\displaystyle 0}$ ${\displaystyle O}$ ${\displaystyle \mathrm {F} }$

В этой таблице обобщена терминология:

История нотаций

• Отрицание: символ появился у Гейтинга в 1930 году ^{[3] [4]} (сравните с символом Фреге ⫟ в его Begriffsschrift [ ^5] ); символ появился у Рассела в 1908 году; ^[6] альтернативная нотация — добавить горизонтальную линию поверх формулы, как в ; другая альтернативная нотация — использовать символ штриха , как в . ${\displaystyle \neg }$ ${\displaystyle \sim }$ ${\displaystyle {\overline {p}}}$ ${\displaystyle p'}$
• Конъюнкция: символ появился у Гейтинга в 1930 году ^[3] (сравните с использованием Пеано теоретико-множественной нотации пересечения ^[7] ); символ появился, по крайней мере, у Шёнфинкеля в 1924 году; ^[8] символ происходит от интерпретации Булем логики как элементарной алгебры . ${\displaystyle \wedge }$ ${\displaystyle \cap }$ ${\displaystyle \&}$ ${\displaystyle \cdot }$
• Дизъюнкция: символ появился у Рассела в 1908 году ^[6] (сравните с использованием Пеано теоретико-множественной нотации объединения ); символ также используется, несмотря на неоднозначность, возникающую из-за того, что в обычной элементарной алгебре это исключающее или при логической интерпретации в двухэлементном кольце ; пунктуально в истории a вместе с точкой в ​​нижнем правом углу использовался Пирсом . ^[9] ${\displaystyle \vee }$ ${\displaystyle \cup }$ ${\displaystyle +}$ ${\displaystyle +}$ ${\displaystyle +}$
• Значение: символ появился у Гильберта в 1918 году; ^{[10] : 76} использовалось Расселом в 1908 году ^[6] (сравните с перевернутой буквой C у Пеано); появился у Бурбаки в 1954 году. ^[11] ${\displaystyle \to }$ ${\displaystyle \supset }$ ${\displaystyle \Rightarrow }$
• Эквивалентность: символ у Фреге в 1879 году; ^[12] у Беккера в 1933 году (не в первый раз, и об этом см. следующее); ^[13] появился у Бурбаки в 1954 году; ^[14] другие символы появлялись в истории с завидной регулярностью, например, у Генцена , ^[15] у Шёнфинкеля ^[8] или у Шазаля, ^[16] ${\displaystyle \equiv }$ ${\displaystyle \leftrightarrow }$ ${\displaystyle \Leftrightarrow }$ ${\displaystyle \supset \subset }$ ${\displaystyle \sim }$ ${\displaystyle \subset \supset }$
• Верно: символ происходит от интерпретации Булем логики как элементарной алгебры над двухэлементной булевой алгеброй ; другие обозначения включают (сокращение от латинского слова «verum»), которое можно найти у Пеано в 1889 году. ${\displaystyle 1}$ ${\displaystyle \mathrm {V} }$
• Ложь: символ также происходит из интерпретации Булем логики как кольца; другие обозначения включают (повернутое ), которое можно найти у Пеано в 1889 году. ${\displaystyle 0}$ ${\displaystyle \Lambda }$ ${\displaystyle \mathrm {V} }$

Некоторые авторы использовали буквы для обозначения союзов: для конъюнкции (нем. «und» вместо «и») и для дизъюнкции (нем. «oder» вместо «или») в ранних работах Гильберта (1904); ^[17] для отрицания, для конъюнкции, для альтернативного отрицания, для дизъюнкции, для импликации, для двуусловного предложения у Лукасевича в 1929 году. ${\displaystyle \operatorname {u.} }$ ${\displaystyle \operatorname {o.} }$ ${\displaystyle Np}$ ${\displaystyle Kpq}$ ${\displaystyle Dpq}$ ${\displaystyle Apq}$ ${\displaystyle Cpq}$ ${\displaystyle Epq}$

Избыточность

Такая логическая связка, как обратная импликация " ", на самом деле совпадает с материальной условной с переставленными аргументами; таким образом, символ для обратной импликации является избыточным. В некоторых логических исчислениях (в частности, в классической логике ) некоторые существенно различные составные утверждения логически эквивалентны . Менее тривиальным примером избыточности является классическая эквивалентность между и . Следовательно, логическая система, основанная на классике, не нуждается в условном операторе " ", если " " (не) и " " (или) уже используются, или может использовать " " только как синтаксический сахар для соединения, имеющего одно отрицание и одну дизъюнкцию. ${\displaystyle \leftarrow }$ ${\displaystyle \neg p\vee q}$ ${\displaystyle p\to q}$ ${\displaystyle \to }$ ${\displaystyle \neg }$ ${\displaystyle \vee }$ ${\displaystyle \to }$

Существует шестнадцать булевых функций, связывающих входные значения истинности с четырехзначными двоичными выходами. ^[18] Они соответствуют возможным выборам двоичных логических связок для классической логики . Различные реализации классической логики могут выбирать различные функционально полные подмножества связок. ${\displaystyle p}$ ${\displaystyle q}$

Один из подходов заключается в выборе минимального набора и определении других связок некоторой логической формой, как в примере с материальным условным оператором выше. Ниже приведены минимальные функционально полные наборы операторов в классической логике, арности которых не превышают 2:

Один элемент

${\displaystyle \{\uparrow \}}$, . ${\displaystyle \{\downarrow \}}$

Два элемента

${\displaystyle \{\vee ,\neg \}}$, , , , , , , , , , , , , , , , , . ${\displaystyle \{\wedge ,\neg \}}$ ${\displaystyle \{\to ,\neg \}}$ ${\displaystyle \{\gets ,\neg \}}$ ${\displaystyle \{\to ,\bot \}}$ ${\displaystyle \{\gets ,\bot \}}$ ${\displaystyle \{\to ,\nleftrightarrow \}}$ ${\displaystyle \{\gets ,\nleftrightarrow \}}$ ${\displaystyle \{\to ,\nrightarrow \}}$ ${\displaystyle \{\to ,\nleftarrow \}}$ ${\displaystyle \{\gets ,\nrightarrow \}}$ ${\displaystyle \{\gets ,\nleftarrow \}}$ ${\displaystyle \{\nrightarrow ,\neg \}}$ ${\displaystyle \{\nleftarrow ,\neg \}}$ ${\displaystyle \{\nrightarrow ,\top \}}$ ${\displaystyle \{\nleftarrow ,\top \}}$ ${\displaystyle \{\nrightarrow ,\leftrightarrow \}}$ ${\displaystyle \{\nleftarrow ,\leftrightarrow \}}$

Три элемента

${\displaystyle \{\lor ,\leftrightarrow ,\bot \}}$, , , , , . ${\displaystyle \{\lor ,\leftrightarrow ,\nleftrightarrow \}}$ ${\displaystyle \{\lor ,\nleftrightarrow ,\top \}}$ ${\displaystyle \{\land ,\leftrightarrow ,\bot \}}$ ${\displaystyle \{\land ,\leftrightarrow ,\nleftrightarrow \}}$ ${\displaystyle \{\land ,\nleftrightarrow ,\top \}}$

Другой подход заключается в использовании на равных правах связок некоторого удобного и функционально полного, но не минимального набора. Этот подход требует большего количества пропозициональных аксиом , и каждая эквивалентность между логическими формами должна быть либо аксиомой , либо доказуемой как теорема.

Однако в интуиционистской логике ситуация сложнее . Из пяти ее связок, {∧, ∨, →, ¬, ⊥}, только отрицание "¬" может быть сведено к другим связкам (см. Ложь (логика) § Ложь, отрицание и противоречие для получения дополнительной информации). Ни конъюнкция, ни дизъюнкция, ни материальное условное предложение не имеют эквивалентной формы, построенной из других четырех логических связок.

Естественный язык

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

Значения связок естественного языка не в точности идентичны их ближайшим эквивалентам в классической логике. В частности, дизъюнкция может получить исключительную интерпретацию во многих языках. Некоторые исследователи приняли этот факт как доказательство того, что семантика естественного языка является неклассической . Однако другие поддерживают классическую семантику, постулируя прагматические описания исключительности, которые создают иллюзию неклассичности. В таких описаниях исключительность обычно рассматривается как скалярная импликатура . Связанные головоломки, включающие дизъюнкцию, включают выводы свободного выбора , ограничение Херфорда и вклад дизъюнкции в альтернативные вопросы .

Другие очевидные расхождения между естественным языком и классической логикой включают парадоксы материальной импликации , анафору осла и проблему контрфактуальных условных предложений . Эти явления были взяты в качестве мотивации для идентификации обозначений условных предложений естественного языка с логическими операторами, включая строгие условные предложения , переменно-строгие условные предложения , а также различные динамические операторы.

В следующей таблице показаны стандартные, классически определяемые приближения для английских связок.

Характеристики

Некоторые логические связки обладают свойствами, которые могут быть выражены в теоремах, содержащих связку. Некоторые из этих свойств, которыми может обладать логическая связка, следующие:

Ассоциативность

В выражении, содержащем две или более одинаковых ассоциативных связок подряд, порядок операций не имеет значения, если последовательность операндов не изменяется.

Коммутативность

Операнды связки можно менять местами, сохраняя логическую эквивалентность исходному выражению.

Распределяемость

Связка, обозначенная ·, распределяется по другой связке, обозначенной +, если a · ( b + c ) = ( a · b ) + ( a · c ) для всех операндов a , b , c .

Идемпотентность

Если операнды операции одинаковы, соединение логически эквивалентно операнду.

Поглощение

Пара связок ∧, ∨ удовлетворяет закону поглощения, если для всех операндов a , b . ${\displaystyle a\land (a\lor b)=a}$

Монотонность

Если f ( a _{1 , ...} , an ) ≤ f ( b ₁ , ..., b _n ) для всех a ₁ , ..., _an , b 1 _, ..., b _n ∈ {0,1} таких, что a ₁ ≤ b ₁ , a ₂ ≤ b ₂ , ..., _an ≤ b n _. Например, ∨, ∧, ⊤, ⊥.

Сродство

Каждая переменная всегда влияет на истинностное значение операции или не влияет никогда. Например, ¬, ↔, , ⊤, ⊥. ${\displaystyle \nleftrightarrow }$

Двойственность

Прочитать назначения истинностных значений для операции сверху вниз по ее таблице истинности — то же самое, что взять дополнение чтения таблицы той же или другой связки снизу вверх. Не прибегая к таблицам истинности, это можно сформулировать как g̃ (¬ a ₁ , ..., ¬ a _n ) = ¬ g ( a ₁ , ..., a _n ) . Например, ¬.

Сохраняющий истину

Соединение все эти аргументы являются тавтологиями и само является тавтологией. Например, ∨, ∧, ⊤, →, ↔, ⊂ (см. валидность ).

Сохраняющий ложь

Соединение всех этих аргументов является противоречием само по себе. Например, ∨, ∧, , ⊥, ⊄, ⊅ (см. действительность ). ${\displaystyle \nleftrightarrow }$

Инволютивность (для унарных связок)

f ( f ( a )) = a . Например, отрицание в классической логике.

Для классической и интуиционистской логики символ "=" означает, что соответствующие импликации "...→..." и "...←..." для логических соединений могут быть доказаны как теоремы, а символ "≤" означает, что "...→..." для логических соединений является следствием соответствующих связок "...→..." для пропозициональных переменных. Некоторые многозначные логики могут иметь несовместимые определения эквивалентности и порядка (вывода).

И конъюнкция, и дизъюнкция ассоциативны, коммутативны и идемпотентны в классической логике, большинстве разновидностей многозначной логики и интуиционистской логике. То же самое верно и для дистрибутивности конъюнкции над дизъюнкцией и дизъюнкции над конъюнкцией, а также для закона поглощения.

В классической логике и некоторых разновидностях многозначной логики конъюнкция и дизъюнкция двойственны, а отрицание самодвойственно, последнее также самодвойственно в интуиционистской логике.

Порядок старшинства

Чтобы сократить количество необходимых скобок, можно ввести правила приоритета : ¬ имеет более высокий приоритет, чем ∧, ∧ выше, чем ∨, а ∨ выше, чем →. Так, например, является сокращением от . ${\displaystyle P\vee Q\wedge {\neg R}\rightarrow S}$ ${\displaystyle (P\vee (Q\wedge (\neg R)))\rightarrow S}$

Вот таблица, которая показывает наиболее часто используемый приоритет логических операторов. ^{[19] [20]}

Однако не все компиляторы используют один и тот же порядок; например, также использовался порядок, в котором дизъюнкция имеет более низкий приоритет, чем импликация или би-импликация. ^[21] Иногда приоритет между конъюнкцией и дизъюнкцией не указан, что требует его явного указания в данной формуле с помощью скобок. Порядок приоритета определяет, какая связка является «главной связкой» при интерпретации неатомарной формулы.

Таблица и диаграмма Хассе

16 логических связок могут быть частично упорядочены для получения следующей диаграммы Хассе . Частичный порядок определяется объявлением, что если и только если всякий раз, когда выполняется, то выполняется и то же самое ${\displaystyle x\leq y}$ ${\displaystyle x}$ ${\displaystyle y.}$

Приложения

Логические связки используются в информатике и теории множеств .

Информатика

Функционально-истинный подход к логическим операторам реализован в виде логических вентилей в цифровых схемах . Практически все цифровые схемы (главным исключением является DRAM ) построены из NAND , NOR , NOT и вентилей передачи ; более подробную информацию см. в разделе Функция истинности в информатике . Логические операторы над битовыми векторами (соответствующие конечным булевым алгебрам ) являются побитовыми операциями .

Но не каждое использование логической связки в компьютерном программировании имеет булеву семантику. Например, ленивая оценка иногда реализуется для P  ∧  Q и P  ∨  Q , поэтому эти связки не являются коммутативными, если одно или оба выражения P , Q имеют побочные эффекты . Кроме того, условный , который в некотором смысле соответствует материальной условной связке, по сути не является булевым if (P) then Q;, поскольку для консеквент Q не выполняется, если антецедент  P является ложным (хотя соединение в целом является успешным ≈ «истинным» в таком случае). Это ближе к интуиционистским и конструктивистским взглядам на материальные условные — чем к взглядам классической логики.

Теория множеств

Логические связки используются для определения основных операций теории множеств ^[22] следующим образом:

Это определение равенства множеств эквивалентно аксиоме экстенсиональности .

Смотрите также

• Философский портал
• Психологический портал

• Булев домен
• Булева функция
• Булева логика
• Булева функция
• Чатушкоти
• Диалетеизм
• Четырехзначная логика
• Список тем по булевой алгебре
• Логическое соединение
• Логическая константа
• Модальный оператор
• Пропозициональное исчисление
• Термин логика
• Тетралемма
• Функция истинности
• Таблица истинности
• Истинные ценности

Ссылки

1. Cogwheel. "В чем разница между логическим и условным /operator/". Stack Overflow . Получено 9 апреля 2015 г. .
2. Чао, К. (2023).数理逻辑:形式化方法的应用[ Математическая логика: применение метода формализации ] (на китайском языке). Пекин: Препринт. стр. 15–28.
3. Хейтинг, А. (1930). «Формальное правило интуиционистской логики». Sitzungsberichte der Preussischen Akademie der Wissenschaften, Physikalisch-Mathematische Klasse (на немецком языке): 42–56.
4. Денис Рёгель (2002), Краткий обзор логических обозначений 20-го века (см. таблицу на стр. 2).
5. Фреге, Г. (1879). Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens . Halle a/S: Verlag von Louis Nebert. п. 10.
6. Рассел (1908) Математическая логика, основанная на теории типов (American Journal of Mathematics 30, стр. 222–262, также в From Frege to Gödel под редакцией ван Хейеноорта).
7. Пеано (1889) Principia Arithmetices, nova Methodo Exposita .
8. Schönfinkel (1924) Über die Bausteine ​​der mathematischen Logik , переведено как « О строительных блоках математической логики» в книге «От Фреге к Гёделю» под редакцией ван Хейеноорта.
9. Пирс (1867) Об улучшении логического исчисления Буля.
10. Гильберт, Д. (1918). Бернейс, П. (ред.). Принцип математики . Конспекты лекций в Геттингенском университете, зимний семестр, 1917–1918 гг.; Перепечатано как Hilbert, D. (2013). «Prinzipien der Mathematik». В Ewald, W.; Sieg, W. (ред.). Лекции Дэвида Гильберта по основам арифметики и логики 1917–1933 . Гейдельберг, Нью-Йорк, Дордрехт и Лондон: Springer. стр. 59–221.
11. Бурбаки, Н. (1954). Теория ансамблей . Париж: Hermann & Cie, Éditeurs. п. 14.
12. Фреге, Г. (1879). Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens (на немецком языке). Halle a/S: Verlag von Louis Nebert. п. 15.
13. Беккер, А. (1933). Die Aristotelische Theorie der Möglichkeitsschlösse: Eine logisch-philologische Untersuchung der Kapitel 13-22 von Aristoteles' Analytica Priora I (на немецком языке). Берлин: Junker und Dünnhaupt Verlag. п. 4.
14. Бурбаки, Н. (1954). Теория ансамблей (на французском языке). Париж: Hermann & Cie, Éditeurs. п. 32.
15. Genzen (1934) Untersuchungen über das logische Schließen .
16. Chazal (1996): Éléments de logique formelle.
17. Гильберт, Д. (1905) [1904]. «Über die Grundlagen der Logik und der Arithmetik». В Кразере, К. (ред.). Verhandlungen des Dritten Internationalen Mathematik Kongresses в Гейдельберге, от 8 до 13 августа 1904 года . стр. 174–185.
18. Боченский (1959), Краткое изложение математической логики , passim.
19. О'Доннелл, Джон; Холл, Корделия; Пейдж, Рекс (2007), Дискретная математика с использованием компьютера, Springer, стр. 120, ISBN 9781846285981.
20. Аллен, Колин; Хэнд, Майкл (2022). Logic primer (3-е изд.). Кембридж, Массачусетс: The MIT Press. ISBN 978-0-262-54364-4.
21. Джексон, Дэниел (2012), Абстракции программного обеспечения: логика, язык и анализ, MIT Press, стр. 263, ISBN 9780262017152.
22. Пинтер, Чарльз С. (2014). Книга теории множеств . Минеола, Нью-Йорк: Dover Publications, Inc. стр. 26–29. ISBN 978-0-486-49708-2.
23. "Операции над множествами". www.siue.edu . Получено 2024-06-11 .
24. "1.5 Логика и множества". www.whitman.edu . Получено 2024-06-11 .
25. "Theory Set". mirror.clarkson.edu . Получено 2024-06-11 .
26. "Включение и отношения множества". autry.sites.grinnell.edu . Получено 2024-06-11 .
27. "Дополнение и разность множеств". web.mnstate.edu . Получено 2024-06-11 .
28. Купер, А. «Операции над множествами и подмножествами – основы математики» . Получено 11 июня 2024 г.
29. "Основные понятия". www.siue.edu . Получено 2024-06-11 .
30. Купер, А. «Операции над множествами и подмножествами – основы математики» . Получено 11 июня 2024 г.
31. Купер, А. «Операции над множествами и подмножествами – основы математики» . Получено 11 июня 2024 г.

Источники

• Бохеньский, Юзеф Мария (1959), A Précis of Mathematical Logic , перевод с французского и немецкого изданий Отто Берда, Д. Рейдель, Дордрехт, Южная Голландия.
• Чао, К. (2023).数理逻辑:形式化方法的应用[ Математическая логика: применение метода формализации ] (на китайском языке). Пекин: Препринт. стр. 15–28.
• Эндертон, Герберт (2001), Математическое введение в логику (2-е изд.), Бостон, Массачусетс: Academic Press, ISBN 978-0-12-238452-3
• Гамут, LTF (1991), «Глава 2», Логика, язык и значение , т. 1, Издательство Чикагского университета, стр. 54–64, OCLC  21372380
• Раутенберг, В. (2010), Краткое введение в математическую логику (3-е изд.), Нью-Йорк : Springer Science+Business Media , doi : 10.1007/978-1-4419-1221-3, ISBN 978-1-4419-1220-6.
• Хамберстоун, Ллойд (2011). Связующие . MIT Press. ISBN 978-0-262-01654-4.

Внешние ссылки

• «Пропозициональная связка», Энциклопедия математики , EMS Press , 2001 [1994]
• Ллойд Хамберстоун (2010), «Связки предложений в формальной логике», Стэнфордская энциклопедия философии ( Абстрактный алгебраический логический подход к связкам.)
• Джон Макфарлейн (2005), «Логические константы», Стэнфордская энциклопедия философии .