Mệnh đề phủ định của mệnh đề $P$: “$\exists x\in \mathbb{N}:x^2+2x+5$ là số nguyên tố” là:

(AI giải đề cho tôi)
Phủ định của mệnh đề tồn tại $\exists x\in \mathbb{N}:x^2+2x+5$ là số nguyên tố là mệnh đề với mọi $\forall x\in \mathbb{N}:x^2+2x+5$ không là số nguyên tố. Đáp án khớp với đáp án nguồn (Mã đề 123, Câu 5: C).