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 \exists y(x<y)

Passo 1

O enunciado apresenta a fórmula
\forall x\,\exists y\,(x<y)
com domínio de x e y igual ao conjunto dos números reais, e pede para traduzi-la para o português.

Passo 2

Devemos interpretar cada quantificador e o predicado:
\forall x significa “para todo x\in\mathbb{R}”.
\exists y significa “existe y\in\mathbb{R}”.
– O predicado x<y indica que o número real x é menor que o número real y.

Resposta

Para todo número real x, existe um número real y tal que x<y.