Question

Marque a alternativa que contém um argumento válido. a) p → q |— (p → q) ∨ r. b) p → q, q |— p. c) p → q, ~p |— ~q. d) p → q, ~r |— p. e) p → q, q → r |— r → p.

Answer 1

Resposta:

A.  

p → q |— (p → q) ∨ r.

Explicação:

Esse argumento é válido pela regra da adição, que diz que uma proposição pode ser adicionada à esquerda ou à direita de uma dada proposição, ou seja:

p |— p ∨ q, ou ainda, p |— q ∨ p.

Você também pode conferir fazendo a tabela-verdade e verificando que a proposição (p → q) → [(p → q) ∨ r] é tautologia.