单项选择题

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

A.A
B.B
C.C
D.D

<上一题 目录 下一题>
热门 试题

单项选择题
设个体域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.以上均不成立
相关试题