Dùng kí hiệu ∀ hoặc ∃ để viết mệnh đề sau và xét tính đúng sai của nó. Bình phương của mọi số thực đều dương.