Cho mệnh đề "$\forall$ x $\in$ $\mathbb{R}$, x^2 - x + 7 < 0". Hỏi mệnh đề nào là mệnh đề phủ định của mệnh đề trên?

(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 bất đẳng thức $<$ thành $\ge$). Vậy đáp án C.