Dùng kí hiệu ∀ hoặc ∃ để viết mệnh đề sau và xét tính đúng sai của nó. Có số tự nhiên mà bình phương của nó bằng 20.