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.
Há exatamente uma pessoa a quem todos podem enganar.
Há exatamente uma pessoa a quem todos podem enganar.
Passo 1
O enunciado diz para formalizar, usando quantificadores, a proposição “Há exatamente uma pessoa a quem todos podem enganar.”
Aqui significa “
pode enganar
” e o domínio de
são todas as pessoas do mundo.
Aqui
Passo 2
Para dizer que existe pelo menos uma pessoa
tal que todos podem enganá-la, escrevemos
Passo 3
Para impor a unicidade dessa pessoa, exigimos que qualquer outra pessoa
que também satisfaça “todos podem enganá-la” seja de fato a mesma que
. Ou seja,
Passo 4
Combinando existência e unicidade, obtemos a forma final: