Se parte por suponer como hipotética la negación o falsedad de la tesis de la proposición a demostrar, y mediante una concatenación de inferencias lógicas válidas se pretende llegar a una contradicción lógica, un absurdo, de llegar a una contradicción, se concluye que la hipótesis de partida (que se había supuesto verdadera al principio) ha de ser falsa, y entonces la hipótesis original es verdadera y la proposición o argumento es válido.