Considerando como universo o conjunto U={0,1,2,3,4,5} e as sentença abertas p (x): x + 3 é 𝑝𝑎𝑟 e 𝑞(𝑥): 𝑥 + 3 = 7 , podemos dizer que o conjunto verdade de 𝑝( 𝑥) ∧ ~𝑞 (𝑥) é:
{4}
{0,1,2}
{1,3,5}
{0,1,2,3,5}
{0,1,2,3,4,5}