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 \neg N(x)

Passo 1

Temos a proposição N(x) que significa “ x visitou Dakota do Norte” e o domínio é o conjunto de todos os estudantes da sua escola. A fórmula
\exists x\,\neg N(x)
lê-se como “existe algum estudante x tal que não N(x)”, ou seja, “pelo menos um estudante não visitou Dakota do Norte”.

Passo 2

Traduzindo para o português corrente, a expressão significa que há pelo menos um aluno na escola que não fez a visita a Dakota do Norte.

Resposta

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

Exercícios de Livros Relacionados