在谓词演算中，下列各式中正确的是（）

设偏序集〈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）

点击查看答案&解析