Usar a regra “Modus ponens” para deduzir a conclusão de cada um dos seguintes pares de premissas:
(1) x=y wed>= y=z
(2) (x=y wed>= y=z) x=z

Passo 1

O enunciado nos dá duas premissas em lógica proposicional e pede para usar o Modus ponens (regra de inferência que, a partir de P e P to Q, permite concluir Q) para deduzir a conclusão.

Passo 2

Identificamos as premissas:
(i) P:;x=y wed>= y=z,
(ii) P to Q:;(x=y wed>= y=z);to;x=z

Passo 3

A regra de Modus ponens diz que, se temos P e Pto Q, então podemos inferir Q.

Passo 4

Aplicando Modus ponens às premissas (i) e (ii), obtemos diretamente
Q:;x=z

Resposta

;x=z

Exercícios relacionados