Cho mệnh đề [tex]P[/tex], mệnh đề "Không phải [tex]P[/tex]" gọi là mệnh đề phủ định của [TEX]P[/TEX] và ký hiệu là [tex]\overline{P}[/tex].
Đáp án A, C hiển nhiên đúng.
Với đáp án B, D ta có thể lấy một ví dụ chỉ ra rằng D sai: [tex]9 ⋮̸ 6, 9 ⋮̸ 2[/tex] nhưng [TEX]9 \vdots 3 [/TEX]
Vậy chọn D.