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.
Ninguém pode enganar a si próprio.

Passo 1

O enunciado define a relação F(x,y) como “ x pode enganar y”, com domínio sendo todas as pessoas. A tarefa é traduzir a frase “Ninguém pode enganar a si próprio” usando quantificadores.

Passo 2

A frase “Ninguém pode enganar a si próprio” significa que não existe pessoa x tal que x possa enganar a si mesma. Em lógica de predicados, isso pode ser escrito como
\neg \exists x\,F(x,x),
o que é logicamente equivalente a
\forall x\,\neg F(x,x).

Resposta

\forall x\,\neg F(x,x)

Exercícios de Livros Relacionados