En 

lógica, la contraposición lógica es una ley que dice que, para cada sentencia condicional,
hay una equivalencia lógica entre la misma y su contraposición. En la contraposición de una
sentencia, el antecedente y consecuente son invertidos y negados: la contraposición de  es,
por lo tanto, . Ambas expresiones son equivalentes. Formalizada en los silogismos
por Aristóteles, se establece que la negación de un consecuente implica la negación de su
antecedente. Es decir, si una primera premisa implica una segunda premisa, se puede
concluir que la negación de la segunda premisa implica la negación de la primera premisa. En
consecuencia, la implicación original y su contrarrecíproco son equivalentes.
Por ejemplo, la proposición "Todos los perros son mamiferos" puede ser reescrita en su forma
condicional "Si es perro, es mamífero." La ley dice que esta sentencia es idéntica a su
contraposición "Si no es mamífero, entonces no puede ser perro."
Note que si  es verdadera y nos es informado de que Q es falsa, es decir , se puede inferir
lógicamente que P debe ser falso, es decir, . Esto es, normalmente llamado ley de
contraposición, o regla de inferencia modus tollendo tollens

Índice

 1Comparación con otros condicionales

o 1.1Resumen
 2Explicación intuitiva
 3Definición formal
 4Demostración por contrarrecíproco
o 4.1Ejemplo
o 4.2Ejemplo
 5Prueba simple utilizando la definición de condicional
 6Prueba simple por contradicción
 7Prueba más rigurosa de la equivalencia de contrapositivos
 8Veracidad
 9Ejemplos adicionales
 10Aplicación
 11Véase también
 12Referencias
 13Bibliografía
 14Enlaces externos

Comparación con otros condicionales[editar]

Dada una afirmación original, es posible obtener todas sus formas condicionales.
 Implicación (la afirmación original): . "Si es perro, es mamífero", en este caso, una
afirmación cierta.
 Contraposición (la contrapositiva): . "Si no es mamífero, no es perro", que tiene el
mismo valor de verdad a la sentencia original.
 Inversión (la inversa): . "Si no es perro, entonces no es mamífero". A diferencia de la
contrapositiva, el valor-verdad de la inversa no depende del valor de verdad de la
sentencia original. La inversa, aquí, claramente no es verdadera.
 Conversión (la recíproca): . "Si es mamífero, entonces es perro". La recíproca es la
contrapositiva de la inversa. Por lo tanto, son equivalentes en valor-verdad. Esta recíproca
es, al igual que la inversa, falsa.
 Negación: . "Existe un perro que no es mamífero". Si la negación es verdadera, entonces
la proposición original (y, consecuentemente, la contrapositiva) es falsa. En el ejemplo
mostrado, la negación es claramente falsa.
Resumen[editar]

nombre forma descripción

la primera proposición implica la veracidad de la

implicación Si P, entonces Q
segunda

Si no Q, entonces
contraposición invierte el orden y niega las proposiciones
no P

Si no P, entonces
inversa negación de ambas proposiciones
no Q

recíproco Si Q, entonces P invierte el orden de las proposiciones

negación P y no Q refuta la implicación original