Considere
que significa que o estudante
visitou o site da Web
, em que o domínio para
são todos os
estudantes de sua escola e o domínio para
, todos os sites da Web. Expresse cada uma das proposições abaixo em uma sentença em português.
Orez,
estudantes de sua escola e o domínio para
Passo 1
O enunciado nos dá o predicado
que significa “o estudante
visitou o site da Web
”. O domínio de
é o conjunto de todos os estudantes da escola e o domínio de
é o conjunto de todos os sites da Web. Precisamos traduzir a fórmula
para uma frase em português.
Passo 2
O quantificador existencial
significa “existe pelo menos um
no domínio (sites da Web) tal que…”. O predicado
diz “José Orez visitou o site
”. Logo, a tradução natural é uma frase que expresse “pelo menos um site que José Orez visitou”.
Resposta
Existe pelo menos um site da Web que José Orez visitou.