Indicar a regra de inferencia gue fustifica a validade dos seguintes angumentos:
neg p wed>=(g r) vdash neg p

Passo 1

O enunciado apresenta o argumento com a única premissa neg p wed>= (g r) e conclusão neg p. Estamos em lógica proposicional e precisamos identificar a regra de inferência que permite passar de uma conjunção para um de seus componentes.

Passo 2

Observe que a premissa é uma conjunção do tipo A wed>= B, onde A = neg p e B = (g r). A regra que nos autoriza a inferir diretamente A a partir de A wed>= B é a Simplificação (ou Eliminação de Conjunção).

Resposta

Simplificação (Eliminação de Conjunção)

Exercícios relacionados