Un conectivo lógico binario (escrito ∧) que es verdadero exactamente cuando ambas fórmulas operandas son verdaderas; representa el 'y' lógico en lógica proposicional.

Principio

Conectivo funcional de verdad cuya tabla es: A ∧ B es verdadero si y solo si A es verdadero y B es verdadero. Es conmutativo (A ∧ B ≡ B ∧ A), asociativo ((A ∧ B) ∧ C ≡ A ∧ (B ∧ C)) e idempotente (A ∧ A ≡ A) en la lógica proposicional clásica.

Demostración

Si p = 'Está lloviendo' y q = 'Hace frío', entonces (p ∧ q) significa 'Está lloviendo y hace frío' y es verdadero solo cuando ambas condiciones se cumplen. De A y B se puede inferir A ∧ B (introducción de la conjunción); de A ∧ B se puede inferir A (eliminación de la conjunción).

Aplicación incorrecta

Interpretar la conjunción como 'y' exclusivo (XOR), o confundir el ∧ formal con el 'y' del lenguaje natural que puede implicar orden temporal, causalidad o contraste. Otro uso indebido es asumir distributividad sobre conectivos no estándar sin justificación.

Consecuencia

Permite combinar condiciones de verdad independientes en aserciones conjuntas; sustenta las reglas de inferencia usadas en demostraciones y determina cómo se acumula la información en enunciados compuestos.

Inversión

La inversión es la disyunción o una conjunción negada: tratar el conectivo como una elección (A o B) en lugar de una verdad conjunta cambia las consecuencias lógicas; emplear NAND (barra de Sheffer) en su lugar reconstruye la conjunción como primitivo con distinto comportamiento inferencial.

Límite

Se aplica al conectivo binario en lógica proposicional; las conjunciones n-arias extendidas se definen por conjunciones binarias iteradas. Excluye las conjunciones del lenguaje natural con enriquecimiento pragmático y operadores multimodales que combinan proposiciones de otro modo.

Tensión semántica

Tensión entre las propiedades formales de la conjunción y los significados más ricos y contextuales del 'y' ordinario (que puede implicar secuencia, causalidad o énfasis), y entre tratar la conjunción como primitiva o definirla a partir de otros operadores (p. ej. mediante NAND).

Síntesis

La conjunción es el conectivo binario funcional de verdad que forma una compuesta verdadera exactamente cuando ambos conjuntivos son verdaderos; compone condiciones independientes en una aserción conjunta y respalda las reglas estándar de introducción y eliminación.