Usar a regra do “Silogismo disjuntivo” para deduzir a conclusão de cada um dos seguintes pares de premissas:
(1) x+8=12 vee x neq 4
(2) x+8 neq 12

Passo 1

O enunciado nos dá duas premissas:
(1) x+8=12 ;vee; xneq4,
(2) x+8neq12
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
varphi vee psi
e
lnotvarphi,
então podemos concluir
psi

Passo 3

Aqui identificamos:
varphi:;x+8=12, psi:;xneq4
A primeira premissa é varphiveepsi e a segunda é lnotvarphi, pois lnot(x+8=12) é precisamente x+8neq12.

Passo 4

Aplicando a regra do silogismo disjuntivo a
x+8=12 ;vee; xneq4
e
x+8neq12,
seguimos que
xneq4

Resposta

xneq4

Exercícios relacionados