Phát biểu mệnh đề phủ định của mệnh đề "$\forall x\in \mathbb{Z},x^2=9$" là

(AI giải đề cho tôi)
Phủ định của mệnh đề '$\forall x\in \mathbb{Z},x^2=9$' là '$\exists x\in \mathbb{Z},x^2\ne 9$', tức 'Có ít nhất một số nguyên mà bình phương của nó khác 9'. Điều này khớp với phương án D (và cũng khớp đáp án của đề, ví dụ mã đề 3727 có đáp án câu 12 là D).