Question

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:
(A) r (assumir, definitivamente, como verdadeira a conclusão Q)
(B) p (assumir, definitivamente, como falsa a proposição P)
(C) ~r (assumir, provisioriamente, como falsa a conclusão Q)
(D) p (assumir, provisioramente, como falsa a conclusão Q)
(E) ~q (assumir, provisioriamente, como falsa a conclusão Q)

Answer 1

Resposta:

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

Explicação:

Na prova por contradição, deve-se assumir uma premissa provisória, que é a negação da conclusão. Como a conclusão é r, a falsa conclusão Q é ~r.