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

A . A、依赖函数 B . B、Skolem函数 C . C、决定函数 D . D、多元函数

时间:2022-11-04 04:39:11 所属题库:人工智能题库

相似题目