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 x W ( x, www.imdb.org)

Passo 1

O predicado W(x,y) significa “o estudante x visitou o site da Web y”. O domínio de x é todo o conjunto de estudantes da escola e o domínio de y é todo o conjunto de sites da Web. A fórmula a traduzir é
\exists x\,W\bigl(x,\text{www.imdb.org}\bigr).

Passo 2

O quantificador \exists x indica que “existe pelo menos um estudante” no domínio tal que a propriedade W(x,\text{www.imdb.org}) é verdadeira, ou seja, esse estudante fez uma visita ao site dado.

Resposta

Existe pelo menos um estudante da escola que visitou o site www.imdb.org.

Exercícios de Livros Relacionados