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