单项选择题

设个体域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.以上均不成立

单项选择题

谓词公式xP（x）∧彐y￢P（y）是（）

A.永真的
B.不可满足的
C.可满足的
D.非永真的

相关试题