Prueba por contradicción

Carta Común · N.º 393629

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. Se asume que P es falsa. Se muestran las consecuencias del hecho de que P sea falsa. Se llega a un absurdo o imposibilidad. Como la afirmación P puede ser verdadera o falsa, y ya se demostró que no puede ser falsa ya que esto conlleva a incongruencias matemáticas, se prueba así que P debe ser verdadera.

Leer en Wikipedia