Lógica
La lógica es una rama de la filosofía de carácter interdisciplinario, entendida como la ciencia formal que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad.
Implicación
En este artículo consideramos la "implicación" en su sentido meramente lógico. Reservando la explicación al ámbito de una lógica empírica, que habla del mundo de la experiencia conforme a un método científico y que es lo que consideramos como ciencia.