Usar a regra do “Silogismo disjuntivo” para deduzir a conclusão de cada um dos seguintes pares de premissas:
(1)
(2)
(1)
(2)
Passo 1
O enunciado nos dá as premissas
O objetivo é usar lógica proposicional, aplicando dupla negação e depois o silogismo disjuntivo para chegar à conclusão.
O objetivo é usar lógica proposicional, aplicando dupla negação e depois o silogismo disjuntivo para chegar à conclusão.
Passo 2
Da premissa
, pela regra da eliminação de dupla negação, inferimos
.
Passo 3
Na disjunção
sabemos que
é falso (pois
é verdadeiro). Pelo silogismo disjuntivo (de
e
inferimos
), concluímos
.