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 completaA regra de inferência que está indicada corretamente é:

Answer 1

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

Answer 2

Resposta:

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

Explicação passo a passo: