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. Explícitamente, la contraposición de la declaración "si A, entonces B" es "si no es B, entonces no A." Una declaración y su contrapositiva son lógicamente equivalentes: si la afirmación es cierta, entonces su contrapositivo es cierto, y viceversa.