单项选择题
令P（x）为“x是质数”，E（x）为“x是偶数”，O（x）为“x是奇数”，D（x，y）为“x除尽y”，翻译命题：（）对所有x，若x不是偶数，则x不能被2除尽。
A.∀x（¬E（x）→¬D（2，x））B.∀x（¬E（x）∧¬D（2，x））C.∃x（¬E（x）→¬D（2，x））D.∃x（¬E（x）∧¬D（2，x））
A.∀x（P（x）→∃y（E（y）∧D（x，y）））B.∀x（P（x）→∃y（E（y）→D（x，y）））C.∀x（P（x）∧∃y（E（y）∧D（x，y）））D.∀x（P（x）∧∃y（E（y）→D（x，y）））
A.∀x（D（2，x）→E（x））B.∀x（D（2，x）∧E（x））C.∃x（D（2，x）→E（x））D.∃x（D（2，x）∧E（x））