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