在公式中yxp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（）
A.Skolem函数
B.多元函数
C.决定函数
D.依赖函数
订单号：
遇到问题请联系在线客服
答案
拍照搜题
语音搜题
