Usar a regra do “Silogismo disjuntivo” para deduzir a conclusão de cada um dos seguintes pares de premissas:
(1) y<6 vee x+y<10
(2) x+y n<=ss 10

Passo 1

O enunciado nos dá duas premissas envolvendo as desigualdades y<6 e x+y<10, e pede para aplicar a regra do silogismo disjuntivo. Em lógica proposicional, essa regra diz que, se temos
p lor q
e ao mesmo tempo
lnot q,
podemos concluir
p

Passo 2

Vamos identificar as proposições:
p é a afirmação y<6
q é a afirmação x+y<10
Assim, a primeira premissa é
p lor q,
e a segunda é
lnot q
(observe que lnot q equivale a “ x+yn<=ss 10”).

Passo 3

Aplicando o silogismo disjuntivo: de
p lor q
e
lnot q
segue
p
Substituindo p pela sua forma original, chegamos a
y<6

Resposta

A conclusão deduzida pelo silogismo disjuntivo é
y<6

Exercícios relacionados