找考题网-背景图
单项选择题

令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)))

热门试题