a) ∀x ∈ R: x2>0= "Bình phương của một số thực là số dương". Sai vì 0∈R mà 02=0.
b) ∃ n ∈ N: n2=n = "Có số tự nhiên n bằng bình phương của nó". Đúng vì 1 ∈ N, 12=1.
c) ∀n ∈ N: n ≤ 2n = "Một số tự nhiên thì không lớn hơn hai lần số ấy". Đúng.
d) ∃ x∈R: x< = "Có số thực x nhỏ hơn nghịch đảo của nó". Mệnh đề đúng. chẳng hạn 0,5 ∈ R và 0,5 <.