Question

Veja a seguinte argumentação na forma simbólica:
p->(q-> r) , p -> q, p I-> r
Utilizando a redução ao absurdo, a nova argumentação simbólica fica:

Escolha uma:
a. p->(q-> r) , p -> q, p I-> r
b. p->(q-> r) , p -> q, ~ p, r I-> r
c. ~p->(q->r) , ~ p -> q, ~ p, r ~ I-> c
d. p->(q->r) , p -> q, p, ~ r I-> ~ r
e. p->(q->r) , p -> q, p, ~ r I-> c

Answer 1

e. p->(q->r) , p -> q, p, ~ r I-> c

Answer 2

Resposta: b) p->q, q-> r, p, ~ r I-> c

Explicação: