Na Demonstração Indireta ou por Contradição, que se estuda nos Métodos da Demonstração, para se provar " r " dadas as premissas " ~p V q " , " ~r -> ~q " e " p ", após se elencar as três premissas verdadeiras, o passo de negação da conclusão, deve ser: p (assumir, definitivamente, como falsa a proposição P) r (assumir, definitivamente, como verdadeira a conclusão Q) p (assumir, provisioramente, como falsa a conclusão Q) ~q (assumir, provisioriamente, como falsa a conclusão Q) ~r (assumir, provisioriamente, como falsa a conclusão Q)