Método de reducción al absurdo

De Wikipedia

Revisión de fecha 16:54 18 jun 2017; Ver revisión actual
← Revisión anterior | Revisión siguiente →

En latín, "Reductio ad absurdum", es un método lógico de demostración.

Para demostrar la validez de una proposición, se supone que la tesis de la proposición a demostrar es falsa, y mediante una concatenación de inferencias lógicas válidas se deriva una contradicción lógica, un absurdo. Así se concluye que la hipótesis de partida (la negación de la tesis) ha de ser falsa, y que la proposición es válida.

A este método también se le conoce como prueba por contradicción o prueba ad absurdum. Parte de la base es el cumplimiento del principio de exclusión de intermedios: "una proposición que no puede ser falsa es necesariamente verdadera, y una proposición que no puede ser verdadera es necesariamente falsa".

Herramientas personales
* AVISO: Para que te funcionen los applets de Java debes usar Internet Explorer y seguir las instrucciones de la Ayuda del menu de la izquierda