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.
Todos podem enganar alguém.
Todos podem enganar alguém.
Passo 1
O enunciado define o predicado
: “
pode enganar
”, com domínio sendo todas as pessoas no mundo. Queremos formalizar a frase “Todos podem enganar alguém” usando quantificadores.
Passo 2
A palavra “todos” indica um quantificador universal sobre quem engana (variável
). A palavra “alguém” indica um quantificador existencial sobre quem é enganado (variável
). Logo, temos: