量词的辖域
第1题：
A.依赖函数
B.Skolem函数
C.决定函数
D.多元函数
答案：B
第2题：
第3题：
第4题：
在公式中yxP（x，y），存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（）
第5题：
在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。
第6题：
第7题：
在一个量词的辖域中与该量词的指导变元相同的变元称为（）变元，其他变元称为（）变元。
第8题：
此题为判断题(对，错)。
第9题：
跨省通存通兑为全国辖域业务，省内通存通兑为省辖业务。
第10题：
如果按辖域分类，计算机网络可分为：局域网、（）和广域网。