Question

Marque a opção que indica a regra de inferência capaz de justificar a validade do argumento: (q v r) →~p ~~p Logo, ~(q v r) Escolha uma: a. AD b. SD c. MP d. SH e. MT

Answer 1

Trata-se do argumento Modus Tollens, definido como: se A implica B, e B é falso, portanto A também é falso. Simbolicamente:

$A \to B, \neg B \\ \\ \therefore \neg A$

Sendo A o precedente e B o consequente.

No exercício, tem-se como precedente "(q v r)" e consequente "~p". Portanto:

$(q ~ \vee ~ r) \to \neg p, ~ p \\ \\ \boxed{\therefore \neg ~(q \vee r)}$

Observação: a negação da negação de uma afirmação é a própria afirmação. (~~p ≡ p)

Logo, alternativa E, MT.