Exercício 18. Traduzir em português:
.
Passo 1
O enunciado nos dá a fórmula da lógica de predicados
e pede para traduzirmos essa afirmação para o português. Aqui precisamos interpretar corretamente os quantificadores existencial e universal, bem como o predicado
.
Passo 2
A tradução em português é:
“Existe um número natural
tal que, para todo número real
, o valor absoluto de
é menor ou igual a
.”
Resposta
“Existe um número natural
tal que, para todo número real
,
.”