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.


⬇ Deja me gusta y comparte ⬇

You May Also Like

About the Author: Salomón CB

Soy matemático con amplia experiencia. He creado este sitio para profundizar e ilustrar temas de interés matemático, de los que se aprenden durante los primeros semestres en la universidad. Dando importancia tanto a los problemas abstractos (simbólicos) como a los que tengan aplicaciones prácticas (realidad). Sea Ud. bienvenido y siéntase libre de participar con sus comentarios o sugerencias.
Abrir chat
1
Hola 👋🏻
¿Necesitas ayuda en tus exámenes online?
Consulta aquí.