Dùng kí hiệu lôgic để viết lại các mệnh đề sau rồi xác định tính đúng sai của chúng. 
a. Có một số thực x mà bình Phương của nó bằng 9
=> ∃x € R: x² = 9
=> đúng (x = -3 hoặc x = 3)
b. Bình Phương của mọi số thực luôn không âm 
=> ∀x € R: x² > 0
=> sai (x = 0 => x² = 0)
C. Bình Phương của mọi số thực luôn khác 4
=> ∀x € R: x² # 0
=> sai (x =± 2 => x² = 4)
d. Có một số hữu tỉ mà bình Phương của nó bằng 5
=> ∃x € Q: x² = 5
=> sai (x = -căn5 hoặc x = căn5)
E . Tồn tại một số nguyên mà bình Phương của nó bằng chính nó .
F. Mọi số thực đều lớn hơn 0