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.
Todos amam Jerry.
Todos amam Jerry.
Passo 1
O enunciado quer que traduzamos a frase “Todos amam Jerry” usando quantificadores. Aqui o predicado é
“
ama
”, o domínio de
e
são todas as pessoas, e “Jerry” é uma pessoa específica.
Passo 2
Para referir-nos a Jerry dentro da lógica de predicados, introduzimos um símbolo de constante, digamos
, que denota exatamente essa pessoa. A frase “Todos amam Jerry” diz que, para qualquer pessoa
do domínio, vale que
ama
. Em lógica, isso vira um quantificador universal sobre
: