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 é