El procedimiento consiste en demostrar que asumiendo como cierta la falsedad de "P" (o sea "P negada") conduce a una contradicción lógica.