Exercício 18. Traduzir em português:
\exists \mathrm{n} \in \mathbb{N} \forall \mathrm{x} \in \mathbb{R}|\mathrm{x}| \leq \mathrm{n}.

Passo 1

O enunciado nos dá a fórmula da lógica de predicados
\exists n \in \mathbb{N}\;\forall x \in \mathbb{R}\;|x|\le n
e pede para traduzirmos essa afirmação para o português. Aqui precisamos interpretar corretamente os quantificadores existencial e universal, bem como o predicado |x|\le n.

Passo 2

A tradução em português é:
“Existe um número natural n tal que, para todo número real x, o valor absoluto de x é menor ou igual a n.”

Resposta

“Existe um número natural n tal que, para todo número real x, |x|\le n.”

Exercícios relacionados