Considere L(x, y) como a proposição " x ama y ", em que o domínio para x e y são todas as pessoas do mundo. Use quantificadores para expressar cada proposição abaixo.
Há alguém que é amado por todos.

Passo 1

O enunciado diz que na relação L(x,y), interpretamos “ x ama y”. O domínio de x e y é o conjunto de todas as pessoas. Queremos expressar “Há alguém que é amado por todos” usando quantificadores.

Passo 2

A parte “Há alguém” indica um quantificador existencial. Se chamarmos essa pessoa de y, temos \exists y\;\dots

Passo 3

A parte “é amado por todos” significa que toda pessoa x ama esse y. Isso se escreve
\forall x\,L(x,y).

Resposta

\exists y\,\forall x\,L(x,y)

Exercícios de Livros Relacionados