Mệnh đề nào sau đây là mệnh đề đúng?

(AI giải đề cho tôi)
Xét từng mệnh đề: A) Với mọi $x\in \mathbb{R}$, ta có $x+1>x\iff 1>0$, luôn đúng nên mệnh đề A đúng. B) Phương trình $x-3=x^2\iff x^2-x+3=0$ có biệt thức $\Delta =1-12=-11<0$ nên vô nghiệm, mệnh đề sai. C) Với mọi $x\in \mathbb{R}$, $x^2\ge 0$ nên không tồn tại $x$ với $x^2<0$, mệnh đề sai. D) Với $x=-1$, $|x|=1\ne -1=x$, nên mệnh đề $\forall x\in \mathbb{R},|x|=x$ sai. Vậy mệnh đề đúng là A.