Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
No se ha añadido ninguna twiki todavía.
En lógica de enunciados, el enunciado condicional que, respecto de otro que podemos llamar directo, tiene un antecedente que es la negación del consecuente del directo y un consecuente que es la negación del antecedente del directo. Entre ambos condicionales hay relación de equivalencia (ver ejemplo).
La contraposición existe también en lógica de predicados (ver ejemplo).