Contraposición de una implicación
Se ha visto que las frases siguientes son equivalentes:
La implicación
es entonces también equivalente a
es decir que
La proposición
se denomina la contraposición[1] de la aplicación
; ella le es equivalente.
Se tiene entonces siempre
equivale a
Atención :
La implicación contrapuesta de
no tiene la misma significación que la implicación recíproca de
que es
Ejemplo : de implicación contrapuesta
La implicación:
su contraposición:
;
la implicación
es verdadera
supuesta real), así evidentemente como la implicación contrapuesta
mientras que la implicación recíproca
es falsa.
