Considere F(x, y) como a proposição " x pode enganar y ", 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.

Passo 1

O enunciado define o predicado F(x,y): “ x pode enganar y”, 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 x). A palavra “alguém” indica um quantificador existencial sobre quem é enganado (variável y). Logo, temos:
\forall x\,\exists y\,F(x,y).

Resposta

\forall x\,\exists y\,F(x,y).

Exercícios de Livros Relacionados