Considere N(x) como a proposição " x visitou Dakota do Norte", em que o domínio são os estudantes de sua escola. Expresse cada uma dessas quantificações em português.
\exists x N(x)

Passo 1

O enunciado define a proposição N(x) como “ x visitou Dakota do Norte” e diz que o domínio de x são os estudantes da sua escola. Queremos traduzir a fórmula \exists x\,N(x).

Passo 2

O quantificador \exists significa “existe” ou “há pelo menos um” elemento no domínio que satisfaça a propriedade dada por N(x).

Passo 3

Traduzindo literalmente, obtemos uma frase que expressa que há pelo menos um estudante da escola que visitou Dakota do Norte.

Resposta

Existe pelo menos um estudante da escola que visitou Dakota do Norte.

Exercícios de Livros Relacionados