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 é:
Escolha uma:

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

Corrigido pelo AVA