Reductio ad absurdum, expresión latina por Reducción al absurdo, es un método de demostración lógico.