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

在公式中Vy3xp（xy），存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值令这种依赖关系明显地由函数所定义，它把每个y俏映射到存在的那个x这种函数叫做（）
依赖函数
Skolem函數
决定函数
多元函数
正确答案：Skolem函數