Mệnh đề phủ định của mệnh đề $Q:\exists x\in \mathbb{R},x^2-2025>0$ là

(AI giải đề cho tôi)
Phủ định của mệnh đề tồn tại $Q:\exists x\in \mathbb{R},x^2-2025>0$ là mệnh đề với mọi với bất đẳng thức đối: $\overline{Q}:\forall x\in \mathbb{R},x^2-2025\le 0$. Kết quả trùng với đáp án A trong bảng đáp án (mã đề 102, câu 18 = A).