Exercício 18. Traduzir em português:
.
Passo 1
O enunciado dá a fórmula lógica
e pede que a traduzamos para o português, interpretando cada quantificador e a desigualdade.
Passo 2
Cada quantificador e símbolo se traduz assim:
– “ ” vira “para todo”
– “ ” vira “existe”
– “ ” é “em
” (reais positivos)
– “ ” é “em
” (reais)
– a desigualdade “ ” lê–se “
vezes
é maior que
”.
– “
– “
– “
– “
– a desigualdade “
Resposta
Para todo
, existe
tal que, para todo
,
.