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

Passo 1

O enunciado nos dá a premissa
neg p wed>= (q to r)
e pede para inferirmos
neg p.
Isso faz parte de inferências em lógica proposicional, em que usamos regras como eliminação de conjunção, simplificação, modus ponens etc.

Passo 2

Aplicamos a regra de eliminação da conjunção (também chamada de simplificação), que afirma que de
A wed>= B
podemos inferir
A
(portanto, aqui com Aequivneg p e Bequiv(qto r)).

Resposta

Eliminação da conjunção (simplificação).

Exercícios relacionados