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.
Não há ninguém que possa enganar a todos.
Não há ninguém que possa enganar a todos.
Passo 1
O enunciado define o predicado
como “
pode enganar
”, com domínio sendo todas as pessoas do mundo. Queremos traduzir a frase “Não há ninguém que possa enganar a todos” usando quantificadores.
Passo 2
A expressão “há ninguém” equivale a “não existe pessoa
tal que …”. Em lógica de predicados, isso se escreve
Passo 3
A parte “que possa enganar a todos” significa “para toda pessoa
,
engana
”, isto é
Passo 4
Unindo as duas partes, obtemos
Esse é o formato direto. Por equivalência lógica, poderíamos também escrever a forma sem o
: