成人高等教育 / 离散数学
∀x P(x)∧∃yQ(x,y)整个谓词公式中只有一个量词。∀x的辖域为P(x),P(x)中的x和Q(x,y) 中的y是约束变元,Q(x,y)中的x是自由变元。
- A、正确
- B、错误
参考答案: