Exercício 9. Escreva o conjunto-verdade das seguintes proposições abertas, considerando o universo dos números naturais como o universo de discurso:
Passo 1
O enunciado pede o conjunto-verdade da proposição aberta
no universo
. Vamos usar o conceito de conjunto-verdade, que é
Passo 2
A condição
significa que
deve ser maior que
e ao mesmo tempo menor que
. Em notação mais compacta:
Passo 3
Agora basta verificar quais números naturais satisfazem
. A lista dos naturais começa em
. Desses, apenas
está estritamente entre
e
.