Considere
como a proposição "
ama
", em que o domínio para
e
são todas as pessoas do mundo. Use quantificadores para expressar cada proposição abaixo.
Há alguém a quem ninguém ama.
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
que significa “
ama
”.
Passo 2
A frase “Há alguém a quem ninguém ama” indica que existe pelo menos uma pessoa, digamos
, tal que nenhuma pessoa
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: