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:
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

1.A - (B ^ C)        P
2. A                     P
3.B ^ C                MP (1,2)
4. B                      SIM (3)
5.A ^ B                CONJ (2,4)


Portanto a letra b) I e III