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

Veja a seguinte argumentação na forma simbólica:
P→(Q→R), P→Q, P|→R

Para demonstrar esta argumentação através da redução ao absurdo, é necessária a utilização de quais regras de inferência: Escolha uma:
a. Silogismo Dijuntivo, Simplificação e Conjunção.
b. Silogismo Dijuntivo e Simplificação. Incorreto
c. Modus Tollens, Adição e Conjunção.
d. Modus Tollens e Conjunção.
e. Modus Ponens e Conjunção.

Soluções para a tarefa

Respondido por humbertos2005
20
Modus Ponens e Conjunção.

aryadnemorais: As alternativas são em símbolos , alguém sabe ?
aryadnemorais: São essas:
aryadnemorais: A. p→(q→r), p→q, p,~r→~r
B. p→(q→r), p→q, p,r→r
C. p→(q→r), p→q, p,~r→c
D. p→(q→r), p→q, ~p,r→c
E. ~p→(q→r),~p→q,~p,~r→c
josezeca1234: correto
Perguntas interessantes