Mệnh đề nào sau đây là phủ định của mệnh đề "Mọi động vật đều di chuyển"?

(AI giải đề cho tôi)
Mệnh đề "Mọi động vật đều di chuyển" có dạng $\forall x,P(x)$ với $P(x)$: "x di chuyển". Theo quy tắc phủ định mệnh đề chứa lượng từ: phủ định của "Mọi $x$ đều có tính chất $P$" là "Tồn tại (có ít nhất một) $x$ không có tính chất $P$", tức $\neg (\forall x,P(x))\iff \exists x,\neg P(x)$. Do đó phủ định của mệnh đề đã cho là "Có ít nhất một động vật không di chuyển". Các phương án A, B là mệnh đề mang lượng từ "mọi" nên không phải phủ định; D là mệnh đề cùng chiều với mệnh đề gốc. Vậy đáp án đúng là C, trùng với đáp án nguồn.