Traduza as sentenças que seguem para a lógica de predicados:
Toda pessoa ama alguém, mas não existe ninguém que ame todas.

Passo 1

O domínio de discurso é o conjunto de todas as pessoas e usamos o predicado Ama(x,y) para expressar “x ama y”. Vamos traduzir cada parte do enunciado usando quantificadores.

Passo 2

“Toda pessoa ama alguém” significa que para cada pessoa x existe pelo menos uma pessoa y tal que x ama y. Isso vira a fórmula forall x,exists y,Ama(x,y).

Passo 3

“Não existe ninguém que ame todas” quer dizer que não há pessoa x que ame todas as pessoas y. Em lógica, isso é negexists x,forall y,Ama(x,y).

Resposta

[\n\forall x,\exists y,Ama(x,y) \land \neg\exists x,\forall y,Ama(x,y).\n]

Exercícios relacionados