题目内容
（请给出正确答案）
[单选题]
在公式中∀y∃xp（x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，把每个y值映射到存在的那个x。这种函数叫做（)。
A.依赖函数
B.Skolem函数
C.决定函数
D.多元函数
提问人：网友Dume2021
发布时间：2022-01-07
如搜索结果不匹配，请 
A. 依赖函数
B. Skolem函数
C. 决定函数
D. 多元函数
题目内容
（请给出正确答案）
您可能会需要：
安装简答题APP，拍照搜题省时又省心！
更多“在公式中∀y∃xp（x,y))，存在量词是在全称量词的辖域内…”相关的问题
第2题
谓词公式(∀x)(P(x)⋁(∃y)R(y))→Q(x)中量词(∀x)的辖域是：
A、(∀x)(P(x)⋁(∃y)R(y))
B、P(x)
C、(P(x)⋁(∃y)R(y))
D、P(x)，Q(x)
的值,其中D是由直线y=2x,y=x,x=2,x=4所围成的区域
