在公式中yxP(x,y),存在量词是在全称量词的辖域内,我们允许所存在的x可

发布时间:2021-04-07 01:57:21

题目类型:[单选] 在公式中yxP(x,y),存在量词是在全称量词的辖域内,我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义,它把每个y值映射到存在的那个x。这种函数叫做()
A、依赖函数
B、Skolem函数
C、决定函数
D、多元函数

网友回答

参考答案: B
试题难度:★★☆
参考解析: 暂无解析
以上问题属网友观点,不代表本站立场,仅供参考!