Sendo
de os conjuntos-verdade das sentencas abetas:
Passo 1
O enunciado considera o universo
e a sentença aberta composta pela disjunção
Em lógica de predicados, o conjunto-verdade de uma disjunção é a união dos conjuntos-verdade de cada proposição simples.
Passo 2
Resolvendo a primeira equação
:
Logo, o conjunto-verdade de
é
.
Passo 3
Resolvendo a segunda equação
:
Logo, o conjunto-verdade de
é
.
Passo 4
Pela definição de disjunção, o conjunto-verdade de
é a união