Question

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

Answer 1

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

$A \to B \\ \\ A \\ \\ \therefore 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 \to (q \to r) \\ \\ p \\ \\ \boxed{\therefore q \to r}$

Alternativa C, Modus Ponens (MP).