Question

Veja a seguinte argumentação na forma simbólica

p→q, p^r |---> q

Utilizando a redução ao absurdo, a nova argumentação seria:
a) p→q, p^r, q|--->q

b) p→q, p^r, ~q|--->c

c) p→q, p^r, q|--->~q

d) p→q, p^r, q|--->c

e) ~(p→q), ~(p^r), ~q|--->c

Answer 1

Resposta:ação passo-a-passo:

8