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

Passo 1

O enunciado define a proposição N(x) como “ x visitou Dakota do Norte”, com domínio sendo todos os estudantes da sua escola. Precisamos traduzir \neg \forall x\,N(x) para o português.

Passo 2

O quantificador \forall x\,N(x) significa “todo estudante da sua escola visitou Dakota do Norte”. A negação \neg \forall x\,N(x) afirma que não é verdade que isso ocorra para todos. Equivalentemente, “existe pelo menos um estudante que não visitou Dakota do Norte”.

Resposta

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

Exercícios de Livros Relacionados