Question

Considere o argumento e sua prova: pv (q^r), p v q -> s i-> pvs
Podemos afirmar que as regras de inferência utilizadas foram:

Escolha uma:
a. modus tollens, silogismo disjuntivo, dilema construtivo
b. modus tollens, adição, modus ponens
c. adição, simplificação, modus ponens
d. simplificação, modus tollens, silogismo hipotético
e. modus ponens, dilema destrutivo, conjunção

Answer 1

adição, simplificação, modus ponens

Answer 2

c. adição, simplificação, modus ponens