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: por lo tanto, la

contraposición de es, por lo tanto, . Por ejemplo, la proposición "Todos los

murciélagos son mamíferos" puede ser reescrita en su forma condicional "Si algo es
murciélago, entonces es mamífero." Por último, la ley dice que la sentencia es idéntica a su
contrapositiva "Si algo no es mamífero, entonces no es murciélago."
La contrapositiva puede ser comparada con otras tres relaciones entre sentencias
condicionales:

 Inversión (la inversa): .

"Si algo no es murciélago, entonces no es mamífero." A diferencia de la contrapositiva,
el valor-verdad de la inversa no depende del todo del valor de verdad de la sentencia original.
La inversa, aquí, claramente no es verdadera.

 Conversión (la recíproca): .

"Si algo es mamífero, entonces es murciélago." Lo contrario es, de hecho, la contrapositiva de
la inversa, por lo tanto, siempre posee el mismo valor-verdad de inversa, por lo tanto, no es
necesariamente el mismo que el de la proposición original.

 Negación: .
"Existe un murciélago que no es mamífero." Si la negación es verdadera, la proposición
original (y, consecuentemente, la contrapositiva) es falsa. En el ejemplo mostrado, la negación
es claramente falsa.

Note que si es verdadera y nos es informado de que Q é falsa, , puede ser

lógicamente inferido que P debe ser falso, . Esto es, normalmente, llamado ley de la
contrapositiva, o de regla de inferencia modus tollens.