Considere a sentença aberta “2x + y = 10” em N* x N*, sendo N* o conjunto dos números naturais não nulos.
O conjunto verdade Vp dessa sentença aberta é
{(1,8), (2,6), (3,4), (4,2)}
{(1,8), (2,6), (3,4), (4,2), (5,0)}
{(0,10), (1,8), (2,6), (3,4), (4,2)}
{(0,10), (1,8), (2,6), (3,4), (4,2), (5,0)}