Sendo
de os conjuntos-verdade das sentencas abetas:
Passo 1
O enunciado define o universo
e pede o conjunto-verdade da sentença aberta
Como é uma conjunção, vamos achar primeiro o conjunto-verdade de cada parte (a equação e a desigualdade) e depois tomar a interseção.
Passo 2
Resolver a equação
Subtraindo
de ambos os lados e somando
obtemos
Portanto o conjunto-verdade da primeira parte é
.
Passo 3
Resolver a desigualdade
que é equivalente a
Então o conjunto-verdade da segunda parte é
.
Passo 4
Como a sentença completa é a conjunção das duas condições, seu conjunto-verdade é a interseção
Como
, o resultado continua sendo
.