8899在公式中yxp(x,y)),存在量词是在全称量词的辖域内,我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义,它把每个y值映射到存在的那个x。这种函数叫做8401

< >试卷标题：2019年陕西省专业技术人员继续教育网公需科目【人工智能与未来教育】练习考试课后测试答案
在公式中yxp(x,y)),存在量词是在全称量词的辖域内,我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义,它把每个y值映射到存在的那个x。这种函数叫做
A.依赖函数
B.Skolem函数
C.决定函数
D.多元函数