En razonamiento formal, la implicación opuesta (
), conversa o recíproca, entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en falso sólo si la implicación es falsa mientras la condición es cierta, y en cierto de cualquier otra forma.
Existen diferentes contextos donde se utiliza la implicación opuesta.
En otras palabras: Ejemplo: No hay vida sin atmósfera.
, de modo que a cada par ordenado
se le asocia un único
c = a ← b
La implicación opuesta solamente es falsa cuando la primera proposición es falsa y la segunda verdadera; para los demás casos, es verdadera.
No es conmutativa, esto es, dadas dos proposiciones
no son lógicamente equivalentes.