单项选择题

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

<上一题 目录 下一题>
热门 试题

多项选择题
找出句子对应得谓词表达式:()有些运动员不是教练(J(x):x是教练员,L(x):x是运动员)

A.¬∀x(L(x)→J(x))
B.∃x (L(x)→¬J(x))
C.∃x(L(x)∧¬J(x))
D.∃x(¬L(x)∧J(x))
E.∀x(L(x)→¬J(x))

多项选择题
找出句子对应得谓词表达式:()不是所有运动员都是教练员(J(x):x是教练员,L(x):x是运动员)

A.¬∀x(L(x)→J(x))
B.∃x (L(x)→¬J(x))
C.∃x(L(x)∧¬J(x))
D.∃x(¬L(x)∧J(x))
E.∀x(¬L(x)→J(x))

相关试题
  • 对任意集合A,B 和C,试证明A×(B∪C)=...
  • 求¬P∨(Q∧R)的合取范式与主合取范式。
  • 设图G=,V={v1,v2,v3,v4},E=...
  • 设关系R的关系图如下,试(1)写出R的关系...
  • 设个体域D={1,2,3,4},则谓词公...