Viết mệnh đề sau bằng ký hiệu: "Có một số nguyên mà bình phương của nó bằng chính nó".

(AI giải đề cho tôi)
Mệnh đề "Có một số nguyên mà bình phương của nó bằng chính nó" được viết là $\exists x\in \mathbb{Z},x^2=x$. Thật vậy, tồn tại các số nguyên $x=0$ hoặc $x=1$ thỏa mãn $x^2=x$, nên mệnh đề đúng. Các phương án A, B sai vì tập là $\mathbb{R}$ chứ không phải $\mathbb{Z}$; phương án C sai vì dùng lượng từ $\forall$ (mọi số nguyên) trong khi đề chỉ nói "có một số".