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

Passo 1

O enunciado nos dá duas premissas:
(x,yin R)to(xyin R)
x,yin R
e pede para usar a regra do modus ponens, que diz: “se temos Pto Q e temos P, então podemos inferir Q”.

Passo 2

Identificamos
Pequiv x,yin R
Qequiv xyin R
Logo, a premissa 1 é Pto Q e a premissa 2 é P.

Passo 3

Aplicando modus ponens a
Pto Q e P
seguimos que
Q
isto é, concluímos xyin R.

Resposta

xyin R

Exercícios relacionados