Phủ định của mệnh đề “$\forall x\in \mathbb{R}\mid x^2+x+1\ge 0$” là mệnh đề

(AI giải đề cho tôi)
Phủ định của mệnh đề "$\forall x\in \mathbb{R}\mid x^2+x+1\ge 0$" là "$\exists x\in \mathbb{R}\mid x^2+x+1<0$" (đổi "$\forall$" thành "$\exists$" và phủ định bất đẳng thức "$\ge 0$" thành "$<0$"). Vậy chọn D, trùng với đáp án nguồn.