搜索码5元/200次。 获取搜索码

在公式中yxp(x,y)),存在量词是在全称量词的辖域内,我

单选题 匿名用户 2021-04-25 0

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

A: 依赖函数

B:Skolem函数

C:决定函数

D:多元函数