Que es la reducción por el absurdo

Reducción al absurdo (Reductio ad absurdum)

En las proposiciones, teoremas, corolarios o lemas siempre se puede encontrar 2 partes que lo conforman: la hipótesis (los datos, lo que se supone cierto) y la tesis (lo que se va demostrar, la conclusión).

La reducción por el absurdo consiste en partir de la tesis negada y mediante el uso de axiomas o teoremas, previamente enunciados o demostrados, llegar a una conclusión que niega la hipótesis o bien que es en sí misma un absurdo, una contradicción.

Es una técnica de demostración basada en la lógica inferencial la cual es uno de los pilares del análisis axiomático de los números reales.

Ejemplo

Como ejemplo véase la demostración del Principio de Arquímides y la de los teoremas de máximo entero o mayor entero de números reales.

 

 

Compártelo en..Share on FacebookShare on Google+Tweet about this on TwitterPin on PinterestShare on LinkedIn

Leave a Reply