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 apresenta a fórmula
\forall x\;\forall y\;\exists z\,(x\,y = z)
em que cada variável varia sobre os números reais. Nosso objetivo é escrever essa afirmação em língua portuguesa, deixando claro que x, y e z são números reais.

Passo 2

A tradução consiste em expor, em português, o mesmo quantificador e a mesma relação de produto, mencionando explicitamente o domínio \mathbb{R} de cada variável.

Resposta

Para todo x\in\mathbb{R} e para todo y\in\mathbb{R}, existe um z\in\mathbb{R} tal que x\cdot y = z.

Exercícios de Livros Relacionados