Usar a regra do “Silogismo hipotético” para deduzir a conclusão de cada um dos seguintes pares de premissas:
(1) x=3 x<y
(2) x<y x neq 2

Passo 1

O enunciado pede para usar a regra do silogismo hipotético, que é uma inferência em lógica proposicional. Essa regra diz que, dadas duas premissas da forma
P to Q
e
Q to R,
podemos concluir
P to R

Passo 2

Identificamos nas premissas do problema:
P equiv (x=3), Q equiv (x<y), R equiv (xneq 2)
Assim, as premissas são
P to Q, Q to R

Passo 3

Aplicando o silogismo hipotético a
P to Q
e
Q to R,
obtemos
P to R,
ou seja
x=3 ;to; xneq 2

Resposta

x=3 ;to; xneq 2

Exercícios relacionados