Lập mệnh đề phủ định của mệnh đề "$\forall x\in \mathbb{R}:x^2+x+2025>0$".

(AI giải đề cho tôi)
Phủ định của mệnh đề $\forall x\in \mathbb{R}:x^2+x+2025>0$ là $\exists x\in \mathbb{R}:x^2+x+2025\le 0$ (đổi $\forall$ thành $\exists$ và phủ định $>$ thành $\le$). Vậy đáp án D, trùng với đáp án nguồn (mã đề 1111, câu 3: D).