Marque a opção que indica a regra de inferência capaz de justificar a validade do argumento: p → (q
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
Clique aqui para adicionar a sua resposta.
Mais perguntas de Matemática
Matemática
Matemática
lelerj
Modus Ponens é um argumento do tipo: se A implica B, e A é verdadeiro, portanto B também é verdadeiro. Simbolicamente:
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:
Alternativa C, Modus Ponens (MP).