Conectiva lógica

Conectivas lógicas
NO ${\displaystyle \neg A}$,${\estilo de visualización -A}$,${\displaystyle {\overline {A}}}$,${\displaystyle \sim A}$ Y ${\estilo de visualización A\land B}$,${\displaystyle A\cdot B}$,${\estilo de visualización AB}$,${\estilo de visualización A\&B}$,${\estilo de visualización A\&\&B}$ NAND ${\displaystyle A{\overline {\land }}B}$,${\displaystyle A\flecha arriba B}$,${\estilo de visualización A\medio B}$,${\displaystyle {\overline {A\cdot B}}}$ O ${\displaystyle A\lo B}$,$Estilo de visualización A+B$,${\estilo de visualización A\medio B}$,${\displaystyle A\paralelo B}$ NI ${\displaystyle A{\overline {\lor }}B}$,${\displaystyle A\flecha hacia abajo B}$,${\displaystyle {\overline {A+B}}}$ XNOR ${\displaystyle A\ {\text{XNOR}}\ B}$ └ equivalent ${\displaystyle A\equiv B}$, ${\displaystyle A\Leftrightarrow B}$, ${\displaystyle A\leftrightharpoons B}$ XOR ${\displaystyle A{\underline {\lor }}B}$, ${\displaystyle A\oplus B}$ └nonequivalent ${\displaystyle A\not \equiv B}$, ${\displaystyle A\not \Leftrightarrow B}$, ${\displaystyle A\nleftrightarrow B}$ implies ${\displaystyle A\Rightarrow B}$, ${\displaystyle A\supset B}$, ${\displaystyle A\rightarrow B}$ converse ${\displaystyle A\Leftarrow B}$, ${\displaystyle A\subset B}$, ${\displaystyle A\leftarrow B}$
Related concepts
Propositional calculus Predicate logic Boolean algebra Truth table Truth function Boolean function Functional completeness Scope (logic)
Applications
Digital logic Programming languages Mathematical logic Philosophy of logic
Category
v t e

En lógica , un conectivo lógico (también llamado operador lógico , conectivo oracional u operador oracional ) es una constante lógica . Los conectivos se pueden utilizar para conectar fórmulas lógicas. Por ejemplo, en la sintaxis de la lógica proposicional , el conectivo binario se puede utilizar para unir las dos fórmulas atómicas y , lo que da como resultado la fórmula compleja .${\displaystyle \lor }$ ${\displaystyle P}$${\displaystyle Q}$${\displaystyle P\lor Q}$

Los conectivos comunes incluyen negación , disyunción , conjunción , implicación y equivalencia . En los sistemas estándar de lógica clásica , estos conectivos se interpretan como funciones de verdad , aunque reciben una variedad de interpretaciones alternativas en lógicas no clásicas . Sus interpretaciones clásicas son similares a los significados de expresiones del lenguaje natural como "no", "o", "y" y "si" en inglés , pero no idénticas. Las discrepancias entre los conectivos del lenguaje natural y los de la lógica clásica han motivado enfoques no clásicos del significado del lenguaje natural, así como enfoques que combinan una semántica compositiva clásica con una pragmática sólida .

Un conectivo lógico es similar, pero no equivalente, a una sintaxis comúnmente utilizada en lenguajes de programación llamada operador condicional . ^{[1] [ se necesita una mejor fuente ]}

En los lenguajes formales , las funciones de verdad se representan mediante símbolos inequívocos. Esto permite que las afirmaciones lógicas no se entiendan de forma ambigua. Estos símbolos se denominan conectivos lógicos , operadores lógicos , operadores proposicionales o, en lógica clásica , conectivos veritativo-funcionales . Para conocer las reglas que permiten construir nuevas fórmulas bien formadas mediante la unión de otras fórmulas bien formadas mediante conectivos veritativo-funcionales, véase fórmula bien formada .

Los conectores lógicos se pueden utilizar para unir cero o más enunciados, por lo que se puede hablar de conectores lógicos n - arios . Las constantes booleanas True y False se pueden considerar operadores cero-arios. La negación es un conector 1-ario, y así sucesivamente.

Símbolo, nombre		Tabla de verdad					Diagrama de Venn
Conectivas ceroarias (constantes)
⊤	Verdad / tautología				1
⊥	Falsedad / contradicción				0
Conectivas unarias
		${\displaystyle p}$ =	0		1
	Proposición${\displaystyle p}$		0		1
¬	Negación		1		0
Conectivas binarias
${\displaystyle p}$ =	0	0	1	1
${\displaystyle q}$ =	0	1	0	1
	Proposición${\displaystyle p}$		0	0	1	1
	Proposición${\displaystyle q}$		0	1	0	1
∧	Conjunción		0	0	0	1
↑	Negación alternativa		1	1	1	0
∨	Disyunción		0	1	1	1
↓	Negación conjunta		1	0	0	0
→	Material condicional		1	1	0	1
${\displaystyle \nleftrightarrow }$	Exclusivo o		0	1	1	0
↔	Bicondicional		1	0	0	1
←	Implicación inversa		1	0	1	1
Más información

Los conectivos lógicos más utilizados incluyen los siguientes: ^[2]

• Negación (no) : , , (prefijo) en el que es el más moderno y ampliamente utilizado, y es usado por muchas personas también;${\displaystyle \neg }$${\displaystyle \sim }$${\displaystyle N}$${\displaystyle \neg }$${\displaystyle \sim }$
• Conjunción (y) : , , (prefijo) en el que es el más moderno y ampliamente utilizado;${\displaystyle \wedge }$${\displaystyle \&}$${\displaystyle K}$${\displaystyle \wedge }$
• Disyunción (o) : , (prefijo) en el que es el más moderno y ampliamente utilizado;${\displaystyle \vee }$${\displaystyle A}$${\displaystyle \vee }$
• Implicación (si... entonces) : , , , (prefijo) en el que es el más moderno y ampliamente utilizado, y también lo usa mucha gente;${\displaystyle \to }$${\displaystyle \supset }$${\displaystyle \Rightarrow }$${\displaystyle C}$${\displaystyle \to }$${\displaystyle \supset }$
• Equivalencia (si y solo si) : , , , , (prefijo) en el que es el más moderno y ampliamente utilizado, y también puede ser una buena opción en comparación con denotar implicación como .${\displaystyle \leftrightarrow }$${\displaystyle \subset \!\!\!\supset }$${\displaystyle \Leftrightarrow }$${\displaystyle \equiv }$${\displaystyle E}$${\displaystyle \leftrightarrow }$${\displaystyle \subset \!\!\!\supset }$${\displaystyle \supset }$${\displaystyle \leftrightarrow }$${\displaystyle \to }$

Por ejemplo, el significado de las afirmaciones está lloviendo (denotado por ) y estoy en casa (denotado por ) se transforma cuando las dos se combinan con conectores lógicos:${\displaystyle p}$${\displaystyle q}$

• No está lloviendo ( );${\displaystyle \neg p}$
• Está lloviendo y estoy dentro de casa ( );${\displaystyle p\wedge q}$
• Está lloviendo o estoy en el interior ( );${\displaystyle p\lor q}$
• Si llueve, entonces estoy dentro de casa ();${\displaystyle p\rightarrow q}$
• Si estoy en interiores, entonces está lloviendo ();${\displaystyle q\rightarrow p}$
• Estoy dentro de casa si y sólo si está lloviendo ( ).${\displaystyle p\leftrightarrow q}$

También es común considerar que la fórmula siempre verdadera y la fórmula siempre falsa son conectivas (en cuyo caso son nulas ).

• Fórmula verdadera : , , (prefijo), o ;${\displaystyle \top }$${\displaystyle 1}$${\displaystyle V}$${\displaystyle \mathrm {T} }$
• Fórmula falsa : , , (prefijo), o .${\displaystyle \bot }$${\displaystyle 0}$${\displaystyle O}$${\displaystyle \mathrm {F} }$

Esta tabla resume la terminología:

• Negación: el símbolo apareció en Heyting en 1930 ^{[3] [4]} (compárese con el símbolo ⫟ de Frege en su Begriffsschrift ^[5] ); el símbolo apareció en Russell en 1908; ^[6] una notación alternativa es agregar una línea horizontal encima de la fórmula, como en ; otra notación alternativa es utilizar un símbolo primo como en .${\displaystyle \neg }$${\displaystyle \sim }$${\displaystyle {\overline {p}}}$${\displaystyle p'}$
• Conjunción: el símbolo apareció en Heyting en 1930 ^[3] (compárese con el uso de Peano de la notación de intersección de teoría de conjuntos ^[7] ); el símbolo apareció al menos en Schönfinkel en 1924; ^[8] el símbolo proviene de la interpretación de Boole de la lógica como un álgebra elemental .${\displaystyle \wedge }$ ${\displaystyle \cap }$${\displaystyle \&}$${\displaystyle \cdot }$
• Disyunción: el símbolo apareció en Russell en 1908 ^[6] (compárese con el uso de Peano de la notación de teoría de conjuntos de unión ); el símbolo también se utiliza, a pesar de la ambigüedad que proviene del hecho de que el del álgebra elemental ordinaria es un exclusivo o cuando se interpreta lógicamente en un anillo de dos elementos ; puntualmente en la historia un junto con un punto en la esquina inferior derecha ha sido utilizado por Peirce . ^[9]${\displaystyle \vee }$ ${\displaystyle \cup }$${\displaystyle +}$${\displaystyle +}$${\displaystyle +}$
• Implicación: el símbolo apareció en Hilbert en 1918; ^{[10] : 76} fue utilizado por Russell en 1908 ^[6] (compárese con la Ɔ de Peano, la C invertida); apareció en Bourbaki en 1954. ^[11]${\displaystyle \to }$ ${\displaystyle \supset }$${\displaystyle \Rightarrow }$
• Equivalencia: el símbolo en Frege en 1879; ^[12] en Becker en 1933 (no es la primera vez y para esto véase lo siguiente); ^[13] apareció en Bourbaki en 1954; ^[14] otros símbolos aparecieron puntualmente en la historia, como en Gentzen , ^[15] en Schönfinkel ^[8] o en Chazal, ^[16]${\displaystyle \equiv }$ ${\displaystyle \leftrightarrow }$ ${\displaystyle \Leftrightarrow }$${\displaystyle \supset \subset }$ ${\displaystyle \sim }$${\displaystyle \subset \supset }$
• Verdadero: el símbolo proviene de la interpretación de Boole de la lógica como un álgebra elemental sobre el álgebra de Boole de dos elementos ; otras notaciones incluyen (abreviatura de la palabra latina "verum") que se encuentra en Peano en 1889.${\displaystyle 1}$${\displaystyle \mathrm {V} }$
• Falso: el símbolo también proviene de la interpretación de Boole de la lógica como un anillo; otras notaciones incluyen (rotado ) que se encuentra en Peano en 1889.${\displaystyle 0}$${\displaystyle \Lambda }$${\displaystyle \mathrm {V} }$

Algunos autores usaron letras para conectivos: para conjunción ("und" en alemán para "y") y para disyunción ("oder" en alemán para "o") en los primeros trabajos de Hilbert (1904); ^[17] para negación, para conjunción, para negación alternativa, para disyunción, para implicación, para bicondicional en Łukasiewicz en 1929.${\displaystyle \operatorname {u.} }$${\displaystyle \operatorname {o.} }$ ${\displaystyle Np}$${\displaystyle Kpq}$${\displaystyle Dpq}$${\displaystyle Apq}$${\displaystyle Cpq}$${\displaystyle Epq}$

Un conectivo lógico como la implicación inversa " " es en realidad lo mismo que el condicional material con argumentos intercambiados; por lo tanto, el símbolo para la implicación inversa es redundante. En algunos cálculos lógicos (notablemente, en la lógica clásica ), ciertas declaraciones compuestas esencialmente diferentes son lógicamente equivalentes . Un ejemplo menos trivial de una redundancia es la equivalencia clásica entre y . Por lo tanto, un sistema lógico basado en la clásica no necesita el operador condicional " " si " " (no) y " " (o) ya están en uso, o puede usar " " solo como un azúcar sintáctico para un compuesto que tiene una negación y una disyunción.${\displaystyle \leftarrow }$${\displaystyle \neg p\vee q}$${\displaystyle p\to q}$${\displaystyle \to }$${\displaystyle \neg }$${\displaystyle \vee }$${\displaystyle \to }$

Hay dieciséis funciones booleanas que asocian los valores de verdad de entrada y con salidas binarias de cuatro dígitos . ^[18] Estas corresponden a posibles elecciones de conectivos lógicos binarios para la lógica clásica . Diferentes implementaciones de la lógica clásica pueden elegir diferentes subconjuntos funcionalmente completos de conectivos.${\displaystyle p}$${\displaystyle q}$

Un enfoque consiste en elegir un conjunto mínimo y definir otros conectivos mediante alguna forma lógica, como en el ejemplo anterior con el condicional material. Los siguientes son los conjuntos mínimos funcionalmente completos de operadores en lógica clásica cuyas aridades no superan 2:

Un elemento

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

Dos elementos

${\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 \}}$

Tres elementos

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

Otro enfoque consiste en utilizar conectivos de derechos iguales de un cierto conjunto conveniente y funcionalmente completo, pero no mínimo . Este enfoque requiere más axiomas proposicionales , y cada equivalencia entre formas lógicas debe ser un axioma o demostrable como un teorema.

La situación, sin embargo, es más complicada en la lógica intuicionista . De sus cinco conectivos, {∧, ∨, →, ¬, ⊥}, sólo la negación "¬" puede reducirse a otros conectivos (véase Falso (lógica) § Falso, negación y contradicción para más información). Ni la conjunción, ni la disyunción, ni el condicional material tienen una forma equivalente construida a partir de los otros cuatro conectivos lógicos.

Los conectores lógicos estándar de la lógica clásica tienen equivalentes aproximados en las gramáticas de los lenguajes naturales. En inglés , como en muchos idiomas, dichas expresiones son típicamente conjunciones gramaticales . Sin embargo, también pueden tomar la forma de complementadores , sufijos verbales y partículas . Las denotaciones de los conectores de los lenguajes naturales son un tema importante de investigación en semántica formal , un campo que estudia la estructura lógica de los lenguajes naturales.

Los significados de los conectores del lenguaje natural no son exactamente idénticos a sus equivalentes más cercanos en la lógica clásica. En particular, la disyunción puede recibir una interpretación exclusiva en muchos idiomas. Algunos investigadores han tomado este hecho como evidencia de que la semántica del lenguaje natural no es clásica . Sin embargo, otros mantienen la semántica clásica al postular explicaciones pragmáticas de la exclusividad que crean la ilusión de no clasicidad. En tales explicaciones, la exclusividad se trata típicamente como una implicatura escalar . Los acertijos relacionados que involucran la disyunción incluyen las inferencias de libre elección , la restricción de Hurford y la contribución de la disyunción en preguntas alternativas .

Otras discrepancias aparentes entre el lenguaje natural y la lógica clásica incluyen las paradojas de la implicación material , la anáfora del burro y el problema de los condicionales contrafácticos . Estos fenómenos se han tomado como motivación para identificar las denotaciones de los condicionales del lenguaje natural con operadores lógicos, incluidos el condicional estricto , el condicional estricto variable , así como varios operadores dinámicos .

La siguiente tabla muestra las aproximaciones clásicamente definibles estándar para los conectivos ingleses.

Palabra inglesa	Conectivo	Símbolo	Puerta lógica
no	negación	${\displaystyle \neg }$	NO
y	conjunción	${\displaystyle \wedge }$	Y
o	disyunción	${\displaystyle \vee }$	O
Si...entonces	implicación material	${\displaystyle \to }$	IMPLICAR
...si	implicación inversa	${\displaystyle \leftarrow }$
o bien...o bien	disyunción exclusiva	${\displaystyle \oplus }$	O-X
Si y sólo si	bicondicional	${\displaystyle \leftrightarrow }$	XNOR
no ambos	negación alternativa	${\displaystyle \uparrow }$	NAND
ni...ni	negación conjunta	${\displaystyle \downarrow }$	NI
pero no	No implicación material	${\displaystyle \not \to }$	NIMPLY

Algunos conectivos lógicos poseen propiedades que pueden expresarse en los teoremas que contienen el conectivo. Algunas de esas propiedades que puede tener un conectivo lógico son:

Asociatividad

Dentro de una expresión que contiene dos o más de los mismos conectivos asociativos en una fila, el orden de las operaciones no importa siempre y cuando no se modifique la secuencia de los operandos.

Conmutatividad

Los operandos del conectivo se pueden intercambiar, preservando la equivalencia lógica con la expresión original.

Distributividad

Un conectivo denotado por · se distribuye sobre otro conectivo denotado por +, si a · ( b + c ) = ( a · b ) + ( a · c ) para todos los operandos a , b , c .

Idempotencia

Siempre que los operandos de la operación sean los mismos, el compuesto es lógicamente equivalente al operando.

Absorción

Un par de conectivos ∧, ∨ satisface la ley de absorción si para todos los operandos a , b .${\displaystyle a\land (a\lor b)=a}$

Monotonía

Si f ( a ₁ , ..., a _n ) ≤ f ( b ₁ , ..., b _n ) para todo a ₁ , ..., a _n , b ₁ , ..., b _n ∈ {0,1} tal que a ₁ ≤ b ₁ , a ₂ ≤ b ₂ , ..., a _n ≤ b _n . Por ejemplo, ∨, ∧, ⊤, ⊥.

Afinidad

Cada variable siempre hace una diferencia en el valor de verdad de la operación o nunca hace una diferencia. Por ejemplo, ¬, ↔, , ⊤, ⊥.${\displaystyle \nleftrightarrow }$

Dualidad

Leer las asignaciones de valores de verdad para la operación de arriba hacia abajo en su tabla de verdad es lo mismo que tomar el complemento de leer la tabla del mismo u otro conectivo de abajo hacia arriba. Sin recurrir a las tablas de verdad, se puede formular como g̃ (¬ a ₁ , ..., ¬ a _n ) = ¬ g ( a ₁ , ..., a _n ) . Por ejemplo, ¬.

Preservación de la verdad

La suma de todos esos argumentos es una tautología en sí misma. Por ejemplo, ∨, ∧, ⊤, →, ↔, ⊂ (ver validez ).

Preservación de la falsedad

El argumento compuesto "todos esos argumentos son contradicciones" es en sí mismo una contradicción. Por ejemplo, ∨, ∧, , ⊥, ⊄, ⊅ (ver validez ).${\displaystyle \nleftrightarrow }$

Involutividad (para conectivos unarios)

f ( f ( a )) = a . Por ejemplo, la negación en la lógica clásica.

Para la lógica clásica e intuicionista, el símbolo "=" significa que las implicaciones correspondientes "...→..." y "...←..." para los compuestos lógicos pueden demostrarse como teoremas, y el símbolo "≤" significa que "...→..." para los compuestos lógicos es una consecuencia de los conectores "...→..." correspondientes para las variables proposicionales. Algunas lógicas polivalentes pueden tener definiciones incompatibles de equivalencia y orden (consecuencia).

Tanto la conjunción como la disyunción son asociativas, conmutativas e idempotentes en la lógica clásica, en la mayoría de las variedades de lógica polivalente y en la lógica intuicionista. Lo mismo es cierto en lo que respecta a la distributividad de la conjunción respecto de la disyunción y de la disyunción respecto de la conjunción, así como en lo que respecta a la ley de absorción.

En la lógica clásica y en algunas variedades de la lógica polivalente, la conjunción y la disyunción son duales, y la negación es autodual; esta última también es autodual en la lógica intuicionista.

This section needs expansion. You can help by adding to it. (March 2012)

Como forma de reducir la cantidad de paréntesis necesarios, se pueden introducir reglas de precedencia : ¬ tiene mayor precedencia que ∧, ∧ mayor que ∨ y ∨ mayor que →. Por ejemplo, es la abreviatura de .${\displaystyle P\vee Q\wedge {\neg R}\rightarrow S}$${\displaystyle (P\vee (Q\wedge (\neg R)))\rightarrow S}$

A continuación se muestra una tabla que muestra una precedencia de operadores lógicos de uso común. ^{[19] [20]}

Operador	Precedencia
${\displaystyle \neg }$	1
${\displaystyle \land }$	2
${\displaystyle \lor }$	3
${\displaystyle \to }$	4
${\displaystyle \leftrightarrow }$	5

Sin embargo, no todos los compiladores utilizan el mismo orden; por ejemplo, también se ha utilizado un orden en el que la disyunción tiene menor precedencia que la implicación o la bi-implicación. ^[21] A veces, la precedencia entre conjunción y disyunción no se especifica, por lo que es necesario proporcionarla explícitamente en la fórmula dada con paréntesis. El orden de precedencia determina qué conectivo es el "conectivo principal" al interpretar una fórmula no atómica.

Los 16 conectores lógicos se pueden ordenar parcialmente para producir el siguiente diagrama de Hasse . El orden parcial se define declarando que si y solo si siempre que se cumple, entonces también se cumple${\displaystyle x\leq y}$${\displaystyle x}$${\displaystyle y.}$

Los conectores lógicos se utilizan en informática y en la teoría de conjuntos .

Un enfoque de verdad funcional para los operadores lógicos se implementa como puertas lógicas en circuitos digitales . Prácticamente todos los circuitos digitales (la principal excepción es DRAM ) se construyen a partir de NAND , NOR , NOT y puertas de transmisión ; consulte más detalles en Función de verdad en informática . Los operadores lógicos sobre vectores de bits (que corresponden a álgebras booleanas finitas ) son operaciones bit a bit .

Pero no todos los usos de un conectivo lógico en programación informática tienen una semántica booleana. Por ejemplo, a veces se implementa una evaluación perezosa para P  ∧  Q y P  ∨  Q , por lo que estos conectivos no son conmutativos si una o ambas de las expresiones P , Q tienen efectos secundarios . Además, un condicional , que en cierto sentido corresponde al conectivo condicional material , es esencialmente no booleano porque para if (P) then Q;, el consecuente Q no se ejecuta si el antecedente  P es falso (aunque un compuesto en su totalidad es exitoso ≈ "verdadero" en tal caso). Esto se acerca más a las opiniones intuicionistas y constructivistas sobre el condicional material, en lugar de a las opiniones de la lógica clásica.

Los conectivos lógicos se utilizan para definir las operaciones fundamentales de la teoría de conjuntos , ^[22] de la siguiente manera:

Operaciones y conectivos de la teoría de conjuntos

Operación establecida	Conectivo	Definición
Intersección	Conjunción	${\displaystyle A\cap B=\{x:x\in A\land x\in B\}}$[23] [24] [25]
Unión	Disyunción	${\displaystyle A\cup B=\{x:x\in A\lor x\in B\}}$[26] [23] [24]
Complementar	Negación	${\displaystyle {\overline {A}}=\{x:x\notin A\}}$[27] [24] [28]
Subconjunto	Implicación	${\displaystyle A\subseteq B\leftrightarrow (x\in A\rightarrow x\in B)}$[29] [24] [30]
Igualdad	Bicondicional	${\displaystyle A=B\leftrightarrow (\forall X)[A\in X\leftrightarrow B\in X]}$[29] [24] [31]

Esta definición de igualdad de conjuntos es equivalente al axioma de extensionalidad .

• Bocheński, Józef Maria (1959), A Précis of Mathematical Logic , traducido de las ediciones en francés y alemán de Otto Bird, D. Reidel, Dordrecht, Holanda Meridional.
• Chao, C. (2023).数理逻辑：形式化方法的应用[ Lógica matemática: aplicaciones del método de formalización ] (en chino). Beijing: preimpresión. págs. 15-28.
• Enderton, Herbert (2001), Una introducción matemática a la lógica (2.ª ed.), Boston, MA: Academic Press, ISBN 978-0-12-238452-3
• Gamut, LTF (1991), "Capítulo 2", Lógica, lenguaje y significado , vol. 1, University of Chicago Press, págs. 54-64, OCLC  21372380
• Rautenberg, W. (2010), Una introducción concisa a la lógica matemática (3.ª ed.), Nueva York : Springer Science+Business Media , doi :10.1007/978-1-4419-1221-3, ISBN 978-1-4419-1220-6.
• Humberstone, Lloyd (2011). Los conectores . MIT Press. ISBN 978-0-262-01654-4.

Wikimedia Commons alberga una categoría multimedia sobre Conectivas lógicas .

• "Conectivo proposicional", Enciclopedia de Matemáticas , EMS Press , 2001 [1994]
• Lloyd Humberstone (2010), "Conectores de oraciones en lógica formal", Stanford Encyclopedia of Philosophy (Un enfoque de lógica algebraica abstracta para los conectivos).
• John MacFarlane (2005), "Constantes lógicas", Stanford Encyclopedia of Philosophy .