///
Alencar (2002, p.156) chama de “conjunto verdade de uma sentença aberta p(x) em um conjunto A o conjunto de todos os elementos a ϵ A tais que p(a) é uma proposição verdadeira.”
Considere a sentença aberta “x + 1 > 8” em N (conjunto dos números naturais).
Nesse caso, o conjunto verdade Vp é