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

Passo 1

O enunciado define a proposição N(x) como “ x visitou Dakota do Norte”, cujo domínio é o conjunto dos estudantes da sua escola. A fórmula a ser traduzida é
\forall x\,N(x).

Passo 2

O quantificador universal \forall x significa “para todo x” ou “para cada x” no domínio. Aqui isso quer dizer que, para cada estudante da sua escola, a propriedade N(x) é verdadeira, ou seja, cada estudante visitou Dakota do Norte.

Resposta

Todos os estudantes da sua escola visitaram Dakota do Norte.

Exercícios de Livros Relacionados