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.
Ninguém pode enganar a si próprio.
Ninguém pode enganar a si próprio.
Passo 1
O enunciado define a relação
como “
pode enganar
”, com domínio sendo todas as pessoas. A tarefa é traduzir a frase “Ninguém pode enganar a si próprio” usando quantificadores.
Passo 2
A frase “Ninguém pode enganar a si próprio” significa que não existe pessoa
tal que
possa enganar a si mesma. Em lógica de predicados, isso pode ser escrito como
o que é logicamente equivalente a