Phủ định của mệnh đề: "$\exists x\in \mathbb{N}:2x^2-5x+3=0$" là mệnh đề nào sau đây?

(AI giải đề cho tôi)
Phủ định của mệnh đề tồn tại $\exists x\in \mathbb{N}:2x^2-5x+3=0$ là mệnh đề với mọi $\forall x\in \mathbb{N}:2x^2-5x+3\ne 0$ (đổi $\exists$ thành $\forall$ và phủ định kết luận $=$ thành $\ne$). Vậy đáp án D, trùng với đáp án nguồn (Mã đề 1001, Câu 1: D).