在公式中yxP（x，y），存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（）
第1题：
在古汉语里，量词的体系还不完备，只有计算人或事物单位的物量词，没有表示动作行为单位的动量词。表示动作行为的数量,是用数词直接置于动词前。()
第2题：
A.依赖函数
B.Skolem函数
C.决定函数
D.多元函数
答案：B
第3题：
此题为判断题(对，错)。
第4题：
仅个体变元被量化的谓词称为（）
第5题：
在SQL语句中，谓词“EXISTS”的含义是（）
第6题：
A.一阶谓词
B.原子公式
C.二阶谓词
D.全称量词
第7题：
在SQL的嵌套查询中，量词有ANY，___，___。
第8题：
A、全称量词
B、存在量词
C、自然连接
D、等值连接
第9题：
在一个量词的辖域中与该量词的指导变元相同的变元称为（）变元，其他变元称为（）变元。
第10题：
在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。