Considere Q(x, y) como a proposição " x enviou um e-mail para y ", em que o domínio para x e y são todos os estudantes de sua sala. Expresse cada uma das quantificações abaixo em português.
\exists x \exists y Q(x, y)

Passo 1

O enunciado define a proposição Q(x,y) como “ x enviou um e-mail para y”, com x e y variando sobre todos os estudantes da sala. A fórmula
\exists x\,\exists y\,Q(x,y)
usa quantificadores existenciais aninhados. Nosso objetivo é traduzir essa fórmula para o português.

Passo 2

O quantificador \exists x afirma que “existe pelo menos um estudante x” e o segundo \exists y reforça que “existe pelo menos um estudante y”. Em seguida, Q(x,y) diz que esse estudante x enviou um e-mail para esse estudante y.

Resposta

Existe um estudante x e existe um estudante y tais que x enviou um e-mail para y.

Exercícios de Livros Relacionados