La reducción al absurdo es un método general de razonamiento que consiste en suponer lo contrario de lo que se busca demostrar, de forma que esto queda demostrado si a partir de dicha suposición se llega a una contradicción, a un resultado imposible. Se opone a la demostración del absurdo.
