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 usado para inferir qualquer conclusão válida, se esta conclusão for completa
A regra de inferência que está indicada corretamente é:

Answer 1

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

Answer 2

Resposta:

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

Explicação passo a passo:

Corrigido pelo AVA.