在公式中Vy3xp(xy),存在量词是在全称量词的辖域内,我们允许所存在的x可能依赖于y值令这种依赖关系明显地由函数所定义,它把每个y俏映射到存在的那个x这种函数叫做()
·依赖函数
· Skolem函數
·决定函数
·多元函数
出自:佳木斯大学语言治疗学