Question

Dado o argumento A → (B ^ C), A |– A ^ B, analise as afirmativas a seguir:

I - Este argumento é válido.
II - A tabela-verdade desse argumento é uma contingência.
III - A prova de validade desse argumento utiliza Modus Ponens nas premissas 1 e 2, simplificação na premissa 3 e conjunção nas premissas 2 e 4.
IV - A prova de validade desse argumento utiliza Modus Tollens nas premissas 1 e 2, simplificação na premissa 5 e conjunção nas premissas 2 e 4.

É correto o que se afirma em:
ALTERNATIVAS

a) I e IV.
b) I e III.
c) II, III e IV.
d) I, III e IV.
e) I, II, III e IV.

Answer 1

Letra B

b) I e III. 

I - Este argumento é válido.
III - A prova de validade desse argumento utiliza Modus Ponens nas premissas 1 e 2, simplificação na premissa 3 e conjunção nas premissas 2 e 4.