Phủ định của mệnh đề "1985 + 40 = 2025" là mệnh đề nào sau đây:
"1985 + 40 < 2025".
"1985 + 40 > 2025".
"$1985 + 40 \leq 2025$".
"$1985 + 40 \neq 2025$".