Mệnh đề phủ định của mệnh đề: $\forall x\in \mathbb{R},x^2+x+5>0$ là

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