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

Passo 1

O enunciado fornece as premissas
(1) (x+0=y)(x=y)
(2) x+0=y
e pede para deduzir a conclusão usando a regra de inferência “modus ponens”.

Passo 2

A regra de modus ponens afirma que, se temos
P Q
e
P
então podemos concluir
Q

Passo 3

Aqui identificamos
P equiv (x+0=y)
Q equiv (x=y)
Como temos (x+0=y)(x=y) e também x+0=y, aplicando modus ponens concluímos
x=y

Resposta

(x=y)

Exercícios relacionados