令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))
多项选择题找出句子对应得谓词表达式:()有些运动员不是教练(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))