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.
Evelyn pode enganar a todos.

Passo 1

O enunciado define a relação binária F(x,y) como “ x pode enganar y”, com domínio sendo todas as pessoas. Queremos traduzir a frase “Evelyn pode enganar a todos” para lógica de predicados, usando quantificadores.

Passo 2

A frase “Evelyn pode enganar a todos” significa que, para qualquer pessoa y, Evelyn pode enganar y. Em lógica de predicados, usamos o quantificador universal em y e substituímos o predicado F(x,y) por F(\text{Evelyn},y). Assim obtemos:
\forall y\,F(\text{Evelyn},y).

Resposta

\forall y\,F(\text{Evelyn},y)

Exercícios de Livros Relacionados