Prueba por Contradicción

Un método de demostración que asume la negación de la proposición objetivo y deriva una contradicción lógica; de la contradicción se concluye la proposición original (clásicamente usando el principio del tercero excluido o la eliminación de la doble negación).