Marque a opção que indica a regra de inferência capaz de just...

Marque a opção que indica a regra de inferência capaz de justificar a validade do argumento:

p → (q →r),

p

logo,

q → r

escolha uma:
a. sh
b. mt
c. mp
d. ad
e. sd

1 Resposta

Ver resposta
Mirelasilva Tiago

Modus Ponens é um argumento do tipo: se A implica B, e A é verdadeiro, portanto B também é verdadeiro. Simbolicamente:

A 	o B  \ \ A \ \ 	herefore  B


Sendo A o precedente e B o consequente.


Percebe-se no exercício a aplicação de Modus Ponens, tendo como precedente "p" e consequente "p→q". Portanto, por MP:

p 	o (q 	o r)  \ \ p \ \ oxed{	herefore  q 	o r}


Alternativa C, Modus Ponens (MP).

Sua resposta
Ok

Mais perguntas de Matemática





















Toda Materia
Toda Materia
Toda Materia

Você tem alguma dúvida?

Faça sua pergunta e receba a resposta de outros estudantes.

Escola Educação