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 y \forall x Q(x, y)

Passo 1

O enunciado define a fórmula
\exists y\,\forall x\,Q(x,y)
com Q(x,y) significando “ x enviou um e-mail para y”. O domínio de x e y são todos os estudantes da sala.

Passo 2

A tradução em português é:
“Existe um(a) estudante y tal que, para todo(a) estudante x, x enviou um e-mail para y.”

Resposta

Existe um(a) estudante que recebeu e-mail de todos os outros estudantes.

Exercícios de Livros Relacionados