Phủ định của mệnh đề $P$: “$\forall x\in \mathbb{R},x^2-x+1>0$” là mệnh đề nào sau đây?

(AI giải đề cho tôi)
Phủ định của mệnh đề $\forall x\in \mathbb{R},x^2-x+1>0$ là $\exists x\in \mathbb{R},x^2-x+1\le 0$ (đổi $\forall$ thành $\exists$ và phủ định kết luận: $>0$ thành $\le 0$). Vậy đáp án C.