Mệnh đề $P(x)$: "$\forall x\in \mathbb{R},x^2-x+7<0$". Phủ định của mệnh đề $P$ là

(AI giải đề cho tôi)
Phủ định của mệnh đề $\forall x\in \mathbb{R},x^2-x+7<0$ là $\exists x\in \mathbb{R},x^2-x+7\ge 0$ (đổi $\forall$ thành $\exists$ và phủ định $<$ thành $\ge$). Khớp với đáp án D trong đề và bảng đáp án chính thức (Mã 0102, Câu 1: D).