Cho mệnh đề $P:"\forall x\in \mathbb{R}:x^2-x+7>0"$. Mệnh đề phủ định của $P$ là:

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