单项选择题

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

相关试题
  • 设A(x):x是人,B(x):x是学生,则命题...
  • 无向图G是棵树,结点数为10,则G的边数是...
  • 已知无向图G的结点度数之和为10,则G的边...
  • 若集合A={1,2,3,4},则下列表述...
  • 命题逻辑演绎的CP规则为()。