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 a quem ninguém ama.

Passo 1

O enunciado pede para traduzir para a lógica de predicados a afirmação “Há alguém a quem ninguém ama”, usando o predicado L(x,y) que significa “ x ama y”.

Passo 2

A frase “Há alguém a quem ninguém ama” indica que existe pelo menos uma pessoa, digamos y, tal que nenhuma pessoa x a ama. Portanto, primeiro usamos o quantificador existencial para “há alguém” e depois o quantificador universal junto com negação para “ninguém ama”.

Passo 3

A tradução formal fica: \exists y\,\forall x\,\neg L(x,y)

Resposta

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

Exercícios de Livros Relacionados