Qué (quién) es implicación - definición

Implicación (del latín implicare), en su uso común, es una afirmación que conlleva otra, sin que la segunda deba ser comunicada explícitamente. Etimológicamente proviene de la existencia de algo «plegado», doblado u oculto al interior de otro algo. Lo interior no es visible o perceptible, aunque esté ahí.

La implicación es contrapuesta al término explicación (del latín explicare), 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.

En lógica, la implicación, también llamada implicación lógica o implicación material se simboliza formalmente como:

${\displaystyle A\Rightarrow B}$

que indica que ${\displaystyle B}$ es una conclusión lógica de ${\displaystyle A}$. Se lee "A implica B" o "A, por tanto B".

Es importante no confundir el concepto de implicación material con el de condicional material. La confusión es exacerbada porque los símbolos ${\displaystyle A\Rightarrow B}$ y ${\displaystyle A\to B}$ 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. Asimismo, es importante diferenciar el concepto de implicación del concepto de causalidad.