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

Passo 1

Temos as seguintes premissas:
(x>y wed>= y>z) x>z
e
x>y wed>= y>z.
O objetivo é usar a regra de modus ponens, que diz: se temos p q e também p, então podemos deduzir q.

Passo 2

No esquema de modus ponens, identifiquemos
pequiv (x>y wed>= y>z)
e
qequiv x>z.
Ou seja, a primeira premissa é p q e a segunda é exatamente p.

Passo 3

Como dispomos de p q e de p, aplicamos modus ponens para concluir q. Portanto obtemos
x>z

Resposta

x>z

Exercícios relacionados