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


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

选项:

A、依赖函数

B、Skolem 函数

C、决定函数

D、多元函数

答案:【Skolem 函数