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

Passo 1

O enunciado pede para traduzir a fórmula lógica \forall x \neg N(x)
no domínio dos estudantes da escola, em que N(x) significa “ x visitou Dakota do Norte”. O conteúdo principal aqui é interpretação de quantificador universal e negação.

Passo 2

A fórmula \forall x \neg N(x) lê-se “para todo estudante x, não é verdade que x visitou Dakota do Norte”. Em português corriente, isso equivale a afirmar que nenhum estudante visitou Dakota do Norte.

Resposta

Nenhum estudante da escola visitou Dakota do Norte.

Exercícios de Livros Relacionados