Considerando-se o universo U = { – 2, – 1, 0, 1, 2} e as sentenças abertas:

• F(x): x ≥ 0,
• G(x): x é divisível por 2,

pode-se afirmar que o conjunto verdade da sentença F(x) ⇒ (~G(x)) é V= { – 2, – 1, 1}.