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

Passo 1

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

Passo 2

Pela lei de De Morgan para quantificadores, a negação do existencial transforma-se num universal negado:
\neg \exists x\,N(x)\equiv \forall x\,\neg N(x).
Isto significa que “para todo estudante x, não é verdade que x tenha visitado Dakota do Norte”.

Passo 3

Agora colocamos isso em português claro:
“Não existe nenhum estudante que tenha visitado Dakota do Norte.”

Resposta

Não existe nenhum estudante que tenha visitado Dakota do Norte.

Exercícios de Livros Relacionados