Método de reducción al absurdo
De Wikipedia
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 
.
