Dùng kí hiệu $\forall ,\exists$ để viết mệnh đề: “Tồn tại ít nhất một số thực có bình phương không dương”.

(AI giải đề cho tôi)
Mệnh đề “Tồn tại ít nhất một số thực có bình phương không dương” nghĩa là tồn tại $x\in \mathbb{R}$ sao cho $x^2\le 0$ (vì “không dương” tức là $\le 0$). Do đó viết bằng kí hiệu lượng tử là $\exists x\in \mathbb{R}:x^2\le 0$. Đáp án A. (Chú ý: B chỉ là trường hợp $x^2=0$, C là $x^2<0$ — cả hai đều hẹp hơn “không dương”.)