在谓词公式（“x）（F（x）ÞG（y））Þ（$y）（H（x）∧L（x, y, z））中，（“x）的辖域是（）

定义谓词Prog(x)x是需要编程序的课。Like(x，y)x喜欢y。谓词公式Prog(x)→Like(wang，x)表示的事实为()。 定义谓词如下：HIGHER(x，y):x比y长得高，定义公式father(x):x的父亲。李晓鹏比他父亲长得高。用谓词公式表示为()。 所有北大学生（S（x））都是聪明的（P（x））”谓词公式是（） 所有北大学生(S(x))都是聪明的(P(x))”谓词公式是 谓词公式∀x（F（x） ®G（x））∧﹁∀y（F（y） ®G（y））的类型是永真式（） 在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。 不是谓词公式 以下谓词公式中，（）不是逻辑有效式 定义谓词如下：COMPUTER(x):x是计算机系的学生;LIKE(x，y):x喜欢y。张晓辉是一名计算机系的学生，他喜欢编程序。用谓词公式表示为()。 下列谓词公式是等价的有() 设个体域{1,2}，谓词P（1）=1，P（2）=0，Q（1）=0,Q（2）=1，则∀x（P（x） ∨Q（x））的真值是1（） 以下哪个不是谓词公式（） 谓词公式与其子句集的关系是（）。 谓词公式与其子句集的关系是包含。 设个体域为A={a,b}，公式∀xP（x） ∧∃xS（x）消去量词后应为P（x）∧S（x）（） 在公式中yxP（x，y），存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（） 对于一阶谓词逻辑，如果没有归结出空子句，则说明原谓词公式是不可满足的 （名词解析） 量词的辖域 谓词公式取真值为1的充分必要条件是（） 定义谓词如下：boy(x):x是男孩，girl(x):x是女孩，high(x，y):x比y高。用谓词逻辑表示下列知识()，如果马良是男孩，张红是女孩，则马良比张红长得高。