Dùng kí hiệu ∀,∃ để viết các mệnh đề sau:
P: “Mọi số tự nhiên đều có bình phương lớn hơn hoặc bằng chính nó”;
Q: “Có một số thực cộng với chính nó bằng 0”.
Lời giải:
Bằng cách dùng kí hiệu, các mệnh để P và Q được phát biểu như sau:
P: "∀n ∈ ℕ, n2 ≥ n";
P: "∃n ∈ ℝ, n + n = 0";