Reducción al absurdo

"Reducción al absurdo" (del latín "Reductio ad absurdum") es un método de demostración (formalizado y a menudo usado por Aristóteles como un argumento lógico) partiendo de una hipótesis que queremos demostrar que es verdadera, y suponemos como válida su opuesta, a partir de ella y mediante una cadena de deducciones lógicas válidas obtenemos un resultado absurdo, por lo que concluimos que la hipótesis de partida (la negación de la original) ha de ser falsa....