Tìm mệnh đề phủ định của mệnh đề $P$: "$\forall$ x $\in$ $\mathbb{N}$; x^2 + x - 1 > 0".

(AI giải đề cho tôi)
Phủ định của mệnh đề $P$: $\forall x\in \mathbb{N};x^2+x-1>0$ là $\overline{P}$: $\exists x\in \mathbb{N};x^2+x-1\le 0$. Quy tắc: đổi $\forall$ thành $\exists$ và phủ định bất đẳng thức $>$ thành $\le$. Vậy đáp án B.