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.
Todos amam Jerry.

Passo 1

O enunciado quer que traduzamos a frase “Todos amam Jerry” usando quantificadores. Aqui o predicado é L(x,y)\equiv x ama y”, o domínio de x e y são todas as pessoas, e “Jerry” é uma pessoa específica.

Passo 2

Para referir-nos a Jerry dentro da lógica de predicados, introduzimos um símbolo de constante, digamos j, que denota exatamente essa pessoa. A frase “Todos amam Jerry” diz que, para qualquer pessoa x do domínio, vale que x ama j. Em lógica, isso vira um quantificador universal sobre x:
\forall x\,L(x,j).

Resposta

\forall x\,L(x,j).

Exercícios de Livros Relacionados