Đánh giá giá trị chân lý của mệnh đề có lượng từ.

Bước 1 — Đánh giá mệnh đề có lượng từ.
• Mệnh đề $\forall x \in D, P(x)$ ĐÚNG khi $P(x)$ đúng với MỌI $x \in D$; SAI nếu tồn tại $x$ làm $P(x)$ sai.
• Mệnh đề $\exists x \in D, P(x)$ ĐÚNG khi có ÍT NHẤT MỘT $x \in D$ thoả $P(x)$; SAI nếu không có $x$ nào thoả.

Bước 2 — Mệnh đề đề cho: $\exists n \in \mathbb{N}, n^2 = n$.

Bước 3 — Kiểm tra theo quy tắc trên.
• Với lượng từ $\forall$: thử tìm phản ví dụ.
• Với $\exists$: thử tìm một giá trị thoả.

Kết luận: Mệnh đề Đúng.