En matemáticas, la demostración por contraposición es una regla de inferencia utilizada en demostraciones.