首页->人工智能

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

（A）依赖函数

（B） Skolem函数

（C） 决定函数

（D） 多元函数