Transcreva as proposições abaixo para o português, em que o domínio para cada variável consista nos números reais.
\forall x \forall y \exists z(x=y+z)

Passo 1

O enunciado nos dá a proposição \forall x\;\forall y\;\exists z\,(x = y + z)
e pede que a transcrevamos para o português, sabendo que cada variável varia sobre os números reais.

Passo 2

O quantificador \forall significa “para todo”, e \exists significa “existe”. Como o domínio é \mathbb{R}, devemos mencionar que x, y e z são reais. Assim, a tradução fica:
Para todo número real x e para todo número real y, existe um número real z tal que x = y + z.

Resposta

Para todo número real x e para todo número real y, existe um número real z tal que x = y + z.

Exercícios de Livros Relacionados