Matemática computacional.

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:

r (assumir, definitivamente, como verdadeira a conclusão Q)

~q (assumir, provisioriamente, como falsa a conclusão Q)

p (assumir, provisioramente, como falsa a conclusão Q)

p (assumir, definitivamente, como falsa a proposição P)

~r (assumir, provisioriamente, como falsa a conclusão Q)