搜题，就来89问答库在公式中yxP（x，y），存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（）
1 阅读
在公式中yxP（x，y），存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（）
- A: 依赖函数
- B: Skolem函数
- C: 决定函数
- D: 多元函数
请帮忙给出正确答案和分析，谢谢！
用心做一件事，就一定会收到赞赏
验证码：624274