Tìm mệnh đề phủ định của mệnh đề sau: “$\forall n\in \mathbb{N},2n^2+1$ chia hết cho 3”

(AI giải đề cho tôi)
Phủ định của mệnh đề $\forall n\in \mathbb{N},2n^2+1$ chia hết cho 3 là $\exists n\in \mathbb{N},2n^2+1$ không chia hết cho 3 (đổi $\forall$ thành $\exists$ và phủ định kết luận). Vậy đáp án A.