‍以下文法对应的语言是（）。（以下出现的n均为整数）

单项选择题令P（x）为“x是质数”，E（x）为“x是偶数”，O（x）为“x是奇数”，D（x，y）为“x除尽y”，翻译命题：（）任何质数不能除尽任何质数。

A.∀x（O（x）→∀y（P（y）→¬D（x）））
B.∀x（O（x）→∃y（P（y）∧¬D（x）））
C.∃x（O（x）∧∃y（P（y）∧¬D（x）））
D.∃x（O（x）→∀y（P（y）→¬D（x）））

单项选择题令P（x）为“x是质数”，E（x）为“x是偶数”，O（x）为“x是奇数”，D（x，y）为“x除尽y”，翻译命题：（）对所有x，若x是偶数，则对所有y，若x除尽y，则y是偶数。

A.∀x（E（x）→∀y（D（x，y）→E（x）））
B.∀x（E（x）→∀y（D（x，y）∧E（x）））
C.∃x（E（x）→∃y（D（x，y）→E（x）））
D.∃x（E（x）∧∃y（D（x，y）→E（x）））

单项选择题令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））

单项选择题令P（x）为“x是质数”，E（x）为“x是偶数”，O（x）为“x是奇数”，D（x，y）为“x除尽y”，翻译下列命题：（）对于所有x，如果x是质数，则存在y，y是偶数且x除尽y（即所有质数都能除尽某些偶数）。

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）））

单项选择题令P（x）为“x是质数”，E（x）为“x是偶数”，O（x）为“x是奇数”，D（x，y）为“x除尽y”，翻译下列命题：对所有x，若x被2除尽，则x是偶数（）。

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））