设偏序集〈A，∣〉，其中A={2，3，4，...，1000}，∣表示整除关系，那么该偏序集的所有极大元构成的集合是（）。

设个体域A={a，b}，公式xP（x）∧彐xS（x）对在A上消去量词后应为（）

A.P（x）∧S（x）
B.P（a）∧P（b）∧（S（a）∨S（b））
C.P（a）∧S（b）
D.P（a）∧P（b）∧S（a）∨S（b）

点击查看答案&解析

设谓词P（x）：x是奇数；Q（x）：x是偶数．谓词公式彐x（P（x）∧Q（x））在个体域（）中是可满足的．

A.自然数
B.整数
C.实数
D.以上均不成立

点击查看答案&解析