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 que é amado por todos.
Há alguém que é amado por todos.
Passo 1
O enunciado diz que na relação
, interpretamos “
ama
”. O domínio de
e
é o conjunto de todas as pessoas. Queremos expressar “Há alguém que é amado por todos” usando quantificadores.
Passo 2
A parte “Há alguém” indica um quantificador existencial. Se chamarmos essa pessoa de
, temos
Passo 3
A parte “é amado por todos” significa que toda pessoa
ama esse
. Isso se escreve