Sendo
de os conjuntos-verdade das sentencas abetas:
Passo 1
O enunciado define o universo
e pede o conjunto-verdade da sentença aberta
Aqui estamos resolvendo um sistema de duas equações simultâneas em
.
Passo 2
Da segunda equação isolamos
:
Passo 3
Agora substituímos
na primeira equação para verificar se ela é satisfeita:
Como os dois lados coincidem em
, a primeira equação também vale para
.
Passo 4
Concluímos que a única solução do sistema é
. Logo, o conjunto-verdade da sentença é o conjunto unitário formado por
.