Prueba por Contradicción

Una forma de prueba indirecta en lógica clásica que establece la verdad de una proposición P al asumir su negación (¬P), derivar de esa suposición una contradicción o falsedad explícita y, por tanto, inferir que ¬P es insostenible y que P debe aceptarse en el marco lógico adoptado.