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.

 

 

You May Also Like

About the Author: Salomón CB

Soy matemático puro. He creado este sitio para analizar temas de interés matemático en el instituto o la universidad, sobre todo aquellos temas que puedan comprobarse con herramientas de software y así contrastar resultados. De momento ese es objetivo. Mas adelante veré si se hacen adecuados foros de debate. Sea Ud. bienvenido y siéntase libre de participar con sus comentarios o sugerencias.

Este sitio web utiliza cookies para que usted tenga la mejor experiencia de usuario. Si continúa navegando está dando su consentimiento para la aceptación de las mencionadas cookies y la aceptación de nuestra política de cookies, pinche el enlace para mayor información.

ACEPTAR
Aviso de cookies