Sendo
de os conjuntos-verdade das sentencas abetas:
Passo 1
O enunciado dá o domínio
e a sentença aberta
que é uma disjunção de três equações. Precisamos encontrar o conjunto-verdade, isto é, todos os
que tornam a sentença verdadeira. Para isso vamos resolver cada equação em
e depois tomar a união das soluções.
Passo 2
Resolver a primeira equação
Somando
a ambos os lados e dividindo por
, vem
Então o conjunto-verdade desta parte é
.
Passo 3
Resolver a segunda equação
Somando
e dividindo por
, obtemos
Aqui o conjunto-verdade é
.
Passo 4
Resolver a terceira equação
Somando
e dividindo por
, vem
Portanto essa parte tem conjunto-verdade
.
Passo 5
Como a sentença é a disjunção (ou) das três equações, o conjunto-verdade total é a união dos três conjuntos obtidos: