Se entiende que la prueba por contradicción es una forma de demostración utilizada en lógica proposicional del tipo indirecta y esta sigue los siguientes pasos cuando es aplicada para demostrar alguna afirmación: Se quiere demostrar que una afirmación P es verdadera. Wikipedia