En lógica, la contraposición de una declaración condicional se forma negando ambos términos e invirtiendo la dirección de la inferencia.