Viết mệnh đề dùng ký hiệu ∀ và ∃

Mệnh đề P: "Mọi số tự nhiên" → dùng ký hiệu \(\forall\), tập hợp là \(\mathbb{N}\), đặt phần tử là \(n\). Điều kiện "bình phương lớn hơn hoặc bằng chính nó" viết thành \(n^2 \ge n\). \[ P: \forall n \in \mathbb{N}, \; n^2 \ge n. \] Mệnh đề Q: "Có một số thực" → dùng ký hiệu \(\exists\), tập hợp là \(\mathbb{R}\), đặt phần tử là \(a\). Điều kiện "cộng với chính nó bằng 0" viết thành \(a + a = 0\). \[ Q: \exists\, a \in \mathbb{R}, \; a + a = 0. \]