Indicar a Regra de inferência que justifica a validade dos seguintes argumentos:
Passo 1
O enunciado apresenta como premissas
e pede para inferir
. Trata-se de lógica proposicional e vamos usar uma regra de inferência que trabalha com disjunções e negações de disjuntos.
Passo 2
Reconhecemos o esquema da regra chamada “disjunctive syllogism” (ou “modus tollendo ponens”): a partir de
e de
podemos concluir
Aqui tomamos
como
e
como
. Aplicando a regra, de
e
seguimos que
Resposta
A regra de inferência utilizada é o disjunctive syllogism (modus tollendo ponens).