- La reducción al absurdo consiste en suponer como premisa provisional la negación de la fórmula que se pretende demostrar y obtener, mediante este supuesto, una contradicción.