Método de reducción al absurdo
De Wikipedia
(Diferencia entre revisiones)
Revisión de 12:52 7 sep 2016
En latín, "Reductio ad absurdum", es un método lógico de demostración.
Se usa para demostrar la validez o invalidez de proposiciones categóricas. 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.
Expresado esquematicamente:
equivale a 
.
