Indicar a Regra de inferência que justifica a validade dos seguintes argumentos:
(p wed>= q) vee(sim p wed>= r), sim(sim p wed>= r) vdash p wed>= q

Passo 1

O enunciado apresenta como premissas
(p land q) lor (neg p land r),
neg(neg p land r)
e pede para inferir p land q. 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
alpha lor beta
e de
neg beta
podemos concluir
alpha
Aqui tomamos alpha como p land q e beta como neg p land r. Aplicando a regra, de
(p land q) lor (neg p land r)
e
neg(neg p land r)
seguimos que
p land q

Resposta

A regra de inferência utilizada é o disjunctive syllogism (modus tollendo ponens).

Exercícios relacionados