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

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

[名词解释] 量词的辖域

[名词解释] 量词

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

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

[判断题] 量词都不能重叠。A . 正确B . 错误

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

[判断题] 数量短语和指量短语统称量词短语。A . 正确B . 错误

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

[名词解释] 量词移用