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á exatamente uma pessoa a quem todos amam.
Há exatamente uma pessoa a quem todos amam.
Passo 1
O enunciado pede “há exatamente uma pessoa a quem todos amam”. O predicado é
= “
ama
”, com domínio todas as pessoas. Vamos usar quantificadores para capturar existência e unicidade.
Passo 2
Para “exatamente uma” dividimos em dois:
- Existência de alguém que todos amam:
- Unicidade — se outra pessoa
também for amada por todos, então é a mesma que :
Passo 3
Juntando existência e unicidade numa só fórmula, obtemos: