Dùng kí hiệu ∀ và ∃ để viết mệnh đề sau rồi lập mệnh đề phủ định và xét tính đúng sai của mệnh đề đó.Mọi số thực cộng với số đối của nó đều bằng 0.