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á duas premissas:
O conteúdo é lógica proposicional, em particular a regra do silogismo disjuntivo, que permite deduzir uma disjunta a partir da negação de uma das opções.
Passo 2
A regra do silogismo disjuntivo diz que, se temos
e
então podemos concluir
Passo 3
Aqui identificamos:
A primeira premissa é
e a segunda é
, pois
é precisamente
.
Passo 4
Aplicando a regra do silogismo disjuntivo a
e
seguimos que