在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。

【单选题】谓词公式 x(P(x)∨ yR(y))→Q(x)中量词 x的辖域是()。A. x(P(x)∨ yR(y))B. P(x)C. (P(x)∨ yR(y)

[单选题]在公式中yxP（x，y），存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（）A .依赖函数B .Skolem函数C .决定函数D .多元函数

[名词解释] 量词

[问答题] 行为量词（动量词）用法（遍、番、场等）

[名词解释] 量词移用

[问答题] 什么是量词？举例说明量词的分类和语法特点。

[填空题] 在一个量词的辖域中与该量词的指导变元相同的变元称为（）变元，其他变元称为（）变元。

如果有三个含有存在量词的公式,则当使用规则ES消去量词时,可以选用同一常量符号取代三个公式中的变元。（ ）A 对B 错如果有三个含有存在量词的公式,则

[名词解释] 量词的辖域

消去存在量词时,当()时,用skolem函数A存在量词未出现在全称量词的辖域内时B存在量词出现在全称量词的辖域内时C以上情况都需要D以上情况都不需要消去存在量词