Mệnh đề phủ định của mệnh đề $P$: “$\forall x\in \mathbb{N}:x^2+x-1>0$” là:

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