Exercício 18. Traduzir em português:
.
Passo 1
O enunciado nos dá a fórmula
e pede a sua tradução para o português. Trata-se de interpretar os quantificadores universais
e existenciais
em linguagem natural.
Passo 2
Identificamos os quantificadores e seus domínios:
– : “para todo
em
”
– : “para todo
em
”
– : “existe um
em
”
–
–
–
Passo 3
Unimos esses trechos numa frase que respeite a ordem lógica: primeiro os universais, depois o existencial, e por fim a condição “
”.
Resposta
Para todo
em
e para todo
em
, existe um
em
tal que
.