?x P(x)∧?yQ(x,y）整个谓词公式中只有一个量词。?x的辖域为P(x)，P(x)中的x和Q(x,y) 中的y是约束变元，Q(x,y)中的x是自由变元

中国大学MOOC: 在公式【图片】中，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做 在谓词公式中，一个变量只能是自由变量或约束变量中的一种。（>（） 在一个量词的辖域中与该量词的指导变元相同的变元称为（）变元，其他变元称为（）变元。 中国大学MOOC: 约束变元是指在辖域内与量词同名的变元 中国大学MOOC: 自由变元是指在辖域内与量词同名的变元 谓词公式（“x）F（x） Þ （“x）G（x）的前束范式是（） 定义谓词如下：HIGHER(x，y):x比y长得高，定义公式father(x):x的父亲。李晓鹏比他父亲长得高。用谓词公式表示为()。 如果整个网络只有一个广播域，那么一旦发出广播信息，就会传遍整个网络，并且对网络中的主机带来额外的负担（） “有的被告(B(x))不是诚实的(C(x))”谓词公式是 “有的被告（B（x））不是诚实的（C（x））”谓词公式是（） 谓词公式∀xP（x） ®（∀x﹁Q（x） ®﹁∃xQ（x））的类型是永真式（） 定义谓词Prog(x)x是需要编程序的课。Like(x，y)x喜欢y。谓词公式Prog(x)→Like(wang，x)表示的事实为()。 谓词公式（$x）（（$y）Q（y） Þ P（x））的前束范式是（） 把谓词公式转化成子句集，是归结演绎推理重要的一个步骤 “一阶语言”、“一阶谓词演算”中“一阶”是指，量词只能用于： 式子?x (A(x)∨B(x)) = ?x A(x)∨?x B(x)是量词分配等值式。 （这里用 = 表示公式的等值） 任何一个包括全称命题的析取式都可以用一个全称量词管辖整个析取命题来取代（） 所有北大学生(S(x))都是聪明的(P(x))”谓词公式是 所有北大学生（S（x））都是聪明的（P（x））”谓词公式是（） 谓词公式∀x（F（x） ®G（x））∧﹁∀y（F（y） ®G（y））的类型是永真式（）