→ →令P（x）为“x是质数”，E（x）为“x是偶数”，O（x）为“x是奇数”，D（x，y）为“x除尽y”，翻……

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

单项选择题找出句子对应得谓词表达式：（）有些教练员是运动员（J（x）：x是教练员，L（x）：x是运动员）

A.∀x（J（x）→L（x））
B.∀x（J（x）∧L（x））
C.∃x（J（x）→L（x））
D.∃x（J（x）∧L（x））

单项选择题（q→p）∧（¬p∧q ）的主析取范式及主合取范式为：（）

A.主析取范式为空，M₀∧M₁∧M₂∧M₃
B.m₀∨m₁∨m₂∨m₃，主合取范式为空
C.m₀∨m₁∨m₂，M₀
D.m₀，M₁∧M₂∧M₃

单项选择题p→（p ∧（q →p ））的主析取范式及主合取范式为：（）

A.m₀∨m₁∨m₂，M₃
B.m₂∨m₃，M₀∧M₁
C.m₀∨m₁∨m₂∨m₃，主合取范式为空
D.主析取范式为空，M₀∧M₁∧M₂∧M₃