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 đề đó. Có một số thực bằng số đối của nó.