Implicación 

Implicación
Para otros usos de este término, véase compromiso.

Diagrama de Venn de 

Nomenclatura
Lenguaje formal A, por tanto B
Operador booleano
Operador de conjuntos ⊃
Tabla de la Verdad

Conectivas lógicas

Tautología 

 Conjunción opuesta 

 Implicación opuesta 

 Implicación 

 Disyunción 

 Negación 

 Disyunción exclusiva 

 Bicondicional 

 Afirmación

 Disyunción opuesta 

 Adjunción opuesta 

 Adjunción 
  Conjunción 

Contradicción 

 v

 d

 e

Implicación (del latín in - plicare) se refiere al hecho de que hay algo «plegado» o doblado
en el interior de algo que oculta lo que hay en su interior, de forma que lo interior no es
visible o perceptible aunque esté ahí. En su uso común, una implicación es una afirmación
que conlleva otra, sin que la segunda deba ser comunicada explícitamente.
La implicación relaciona una causa con un efecto, y en la lógica proposicional se puede
escribir formalmente como:
que indica que siendo  una causa,  es el efecto esperado de esa causa. Es decir,  es una
conclusión lógica de .
La implicación es contrapuesta al término explicación (del latín ex - plicare), que es el
hecho de desplegar lo que está plegado; sacar al exterior, hacer visible, o comprensible,
aquello que está “implicado” en el interior de algo que lo hacía oculto o no comprensible.
Es importante no confundir el concepto de implicación lógica con el de condicional
material. La confusión es exacerbada porque los símbolos  y  son imprecisamente usados
como equivalentes por muchos, cuando realmente no lo son. Aunque en conversaciones
del día a día la diferencia no tiene mayor impacto, la diferencia sutil entre ambos
conceptos es significativa en el entendimiento correcto de la lógica proposicional.