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 Fred.

Passo 1

O domínio são todas as pessoas no mundo e a fórmula F(x,y) significa “ x pode enganar y”. Queremos formalizar a frase “Todos podem enganar Fred” usando quantificadores.

Passo 2

Introduzimos um símbolo de constante f que representa a pessoa Fred. A frase “para todo indivíduo x, x pode enganar Fred” vira
\forall x\,F(x,f).

Resposta

\forall x\,F(x,f)

Exercícios de Livros Relacionados