Usar a regra do “Silogismo disjuntivo” para deduzir a conclusão de cada um dos seguintes pares de premissas:
(1) sim p vee sim q
(2) sim sim p

Passo 1

O enunciado nos dá as premissas
neg p vee neg q
negneg p
O objetivo é usar lógica proposicional, aplicando dupla negação e depois o silogismo disjuntivo para chegar à conclusão.

Passo 2

Da premissa negneg p, pela regra da eliminação de dupla negação, inferimos
p.

Passo 3

Na disjunção neg p vee neg q sabemos que neg p é falso (pois p é verdadeiro). Pelo silogismo disjuntivo (de Avee B e neg A inferimos B), concluímos
neg q.

Resposta

neg q

Exercícios relacionados