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

(AI giải đề cho tôi)
Phủ định của mệnh đề tồn tại $\exists x\in \mathbb{R}:x^2-1>0$ là mệnh đề với mọi: $\overline{P}:\forall x\in \mathbb{R}:x^2-1\le 0$ (đổi $\exists$ thành $\forall$ và phủ định bất đẳng thức $>$ thành $\le$). Vậy đáp án C, trùng với đáp án nguồn.