Question

Considere a seguinte demonstração para o teorema (P → Q) ∧ (Q → R) (P → R).

1. P → Q hip.

2. Q → R hip.

3. P hip

4. Q 1,3, modus ponens

5. R

Assinale a alternativa que justifica a validade do item 5.

a. 2,4, modus tollens.

b. 2,4, modus ponens.

c. 2,3 modus tollens.

d. 2,4 tautologia.

e. modus ponens.

Answer 1

Resposta:

b) 2,4 modus ponens

Explicação:

Gabarito