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( Ashok Puri, y) \wedge W( Cindy Yoon, y)))

Passo 1

O enunciado define o predicado W(x,y) como “o estudante x visitou o site da Web y”, com domínio de x sendo todos os estudantes e de y todos os sites. Queremos traduzir a fórmula
\exists y\bigl(W(\text{Ashok Puri},y)\wedge W(\text{Cindy Yoon},y)\bigr)
para uma frase em português.

Passo 2

O quantificador \exists y significa “existe algum site da Web y” ou “pelo menos um site da Web y”.

Passo 3

A conjunção W(\text{Ashok Puri},y)\wedge W(\text{Cindy Yoon},y) significa que “Ashok Puri visitou y e Cindy Yoon também visitou y”.

Passo 4

Juntando as partes, obtemos uma única frase em português que reflete a existência de um site comum aos dois estudantes.

Resposta

Existe pelo menos um site da Web y que tanto Ashok Puri quanto Cindy Yoon visitaram.

Exercícios de Livros Relacionados