Método de reducción al absurdo
De Wikipedia
(Diferencia entre revisiones)
| Revisión de 12:52 7 sep 2016 Coordinador (Discusión | contribuciones) ← Ir a diferencia anterior |
Revisión de 12:57 7 sep 2016 Coordinador (Discusión | contribuciones) Ir a siguiente diferencia → |
||
| Línea 1: | Línea 1: | ||
| En latín, "Reductio ad absurdum", es un método lógico de demostración. | 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. | + | 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: | + | |
| - | + | ||
| - | <center><math>A \Rightarrow B</math>{{b4}} equivale a{{b4}} <math>\neg B \Rightarrow \neg A</math>.</center> | + | |
Revisión de 12:57 7 sep 2016
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.
