Demostración por contraposición

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.En matemáticas, la demostración por contraposición es una regla de inferencia utilizada en demostraciones. Esta regla se infiere una sentencia condicional a partir de su contraposición. En otras palabras, la conclusión ""si A, entonces B"" se extrae de la premisa simple ""si no B, entonces no A.""