Matemática, perguntado por deborapestana, 1 ano atrás

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

Soluções para a tarefa

Respondido por wjldo
33
adição, simplificação, modus ponens

arqhamilton: correto !!
Respondido por daayhsantos
8
c. adição, simplificação, modus ponens
Perguntas interessantes