Question

Regras de inferência são regras de transformação sintáticas que podem ser usadas para inferir uma conclusão a partir de uma premissa, para criar um argumento. Um conjunto de regras pode ser usada para inferir qualquer conclusão válida, se esta conclusão for completa. A regra de inferência que está indicada corretamente é: Escolha uma: a. B. C. D. E

Answer 1

Resposta:

(q v r) -> ~p, p ->~ (q v r) modus tollens. Corrigida

Explicação:

Answer 2

Resposta:

(q v r) ->~p, p-> ~(q v r) modus tollens

Explicação:

correto pelo ava