Considere W(x, y) que significa que o estudante x visitou o site da Web y, em que o domínio para x são todos os
estudantes de sua escola e o domínio para y, todos os sites da Web. Expresse cada uma das proposições abaixo em uma sentença em português.
\exists y W(\mathrm{Jose} Orez, y)

Passo 1

O enunciado nos dá o predicado W(x,y) que significa “o estudante x visitou o site da Web y”. O domínio de x é o conjunto de todos os estudantes da escola e o domínio de y é o conjunto de todos os sites da Web. Precisamos traduzir a fórmula
\exists y\,W(\mathrm{José\\ Orez},y)é
para uma frase em português.

Passo 2

O quantificador existencial \exists y significa “existe pelo menos um y no domínio (sites da Web) tal que…”. O predicado W(\mathrm{José\\ Orez},y)é diz “José Orez visitou o site y”. 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.

Exercícios de Livros Relacionados