Una regla de inferencia que permite formar la conjunción A ∧ B cuando tanto A como B han sido establecidas por separado.

Principio

Dos fórmulas establecidas de forma independiente pueden combinarse en una sola fórmula que afirma que ambas son verdaderas; la conjunción registra la verdad conjunta.

Demostración

Dadas una prueba de A y una prueba de B, aplicar introducción de la conjunción para inferir A ∧ B. Ejemplo: de «Llueve» y «El suelo está mojado» inferir «Llueve ∧ El suelo está mojado».

Aplicación incorrecta

Usar la regla con un solo conjunt demostrado (intentar inferir A ∧ B a partir de A únicamente sin establecer B por separado), o tratar la introducción como reversible sin volver a proporcionar las pruebas de los componentes.

Consecuencia

Permite construir enunciados compuestos y empaquetar resultados separados en una sola hipótesis utilizable por reglas posteriores; es fundamental para edificar derivaciones complejas a partir de hechos simples.

Inversión

Se contrasta con la eliminación de la conjunción: en vez de descomponer una conjunción en partes (A ∧ B ⇒ A), la introducción compone partes en un todo. Una inversión incorrecta afirmaría que una conjunción basta para producir hechos no relacionados.

Límite

Válida en lógicas clásica e intuicionista y en la mayoría de sistemas deductivos que aceptan la conjunción; en lógicas subestructurales, las restricciones sobre reglas estructurales pueden afectar cómo se combinan las premisas. Presupone justificaciones separadas para cada conjunt.

Tensión semántica

Existe tensión entre la conveniencia sintáctica de combinar libremente fórmulas probadas y las preocupaciones sobre dependencia o sensibilidad a recursos en lógicas donde las hipótesis no pueden duplicarse o combinarse arbitrariamente.

Síntesis

La introducción de la conjunción es la operación sintáctica que ensambla proposiciones establecidas de forma independiente en una sola proposición que afirma su verdad conjunta, sirviendo como bloque constructivo para hechos compuestos.