Exercício 9. Escreva o conjunto-verdade das seguintes proposições abertas, considerando o universo dos números naturais como o universo de discurso:
(n>2) \wedge(n<4)

Passo 1

O enunciado pede o conjunto-verdade da proposição aberta (n>2)\land(n<4) no universo \mathbb{N}. Vamos usar o conceito de conjunto-verdade, que é
\{\,n\in\mathbb{N}\mid(n>2)\land(n<4)\}\,.

Passo 2

A condição (n>2)\land(n<4) significa que n deve ser maior que 2 e ao mesmo tempo menor que 4. Em notação mais compacta:
2 < n < 4.

Passo 3

Agora basta verificar quais números naturais satisfazem 2 < n < 4. A lista dos naturais começa em 1,2,3,4,\dots. Desses, apenas 3 está estritamente entre 2 e 4.

Resposta

\{3\}

Exercícios relacionados