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