Dùng kí hiệu với mọi, tồn tại để viết các mệnh đề sau: P: “Mọi số tự nhiên đều có bình phương

+) Mệnh đề P: “Mọi số tự nhiên đều có bình phương lớn hơn hoặc bằng chính nó” được viết lại như sau:

P:"∀n∈ℕ,n2≥n";

+) Mệnh đề Q: “Có một số thực cộng với chính nó bằng 0” được viết lại như sau:

Q:"∃n∈ℝ,x+x=0";