¿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
«Si te gusta el teatro, vas al teatro» es equivalente a «si no vas al teatro es que no te gusta».
La contraposición existe también en lógica de predicados
Así, la equivalencia
[math] \forall{x} (Px\rightarrow{Sx}) \equiv \forall{x} (¬Sx \rightarrow{¬Px})[/math]
puede significar que el enunciado «Todas las personas son sujetos de derecho» es equivalente a su contrapositiva : «Aquello que no puede ser sujeto de derecho no es una persona».