Considere
como a proposição "
pode enganar
", em que o domínio são todas as pessoas no mundo. Use quantificadores para expressar cada uma das proposições abaixo.
Evelyn pode enganar a todos.
Evelyn pode enganar a todos.
Passo 1
O enunciado define a relação binária
como “
pode enganar
”, com domínio sendo todas as pessoas. Queremos traduzir a frase “Evelyn pode enganar a todos” para lógica de predicados, usando quantificadores.
Passo 2
A frase “Evelyn pode enganar a todos” significa que, para qualquer pessoa
, Evelyn pode enganar
. Em lógica de predicados, usamos o quantificador universal em
e substituímos o predicado
por
. Assim obtemos: