量词均在谓词公式之前，作用域延伸至谓词公式末尾的谓词公式称为前束范式

中国大学MOOC: 谓词公式具有以下哪些特性 定义谓词如下：HIGHER(x，y):x比y长得高，定义公式father(x):x的父亲。李晓鹏比他父亲长得高。用谓词公式表示为()。 谓词公式取真值为1的充分必要条件是（） “有的被告(B(x))不是诚实的(C(x))”谓词公式是 “有的被告（B（x））不是诚实的（C（x））”谓词公式是（） 在谓词逻辑知识表示法中，如果谓词的个体本身不是谓词，那么称它为一阶谓词 在谓词公式（“x）（F（x）ÞG（y））Þ（$y）（H（x）∧L（x, y, z））中，（“x）的辖域是（） 谓词公式（“x）F（x） Þ （“x）G（x）的前束范式是（） 谓词公式（$x）（（$y）Q（y） Þ P（x））的前束范式是（） 定义谓词Prog(x)x是需要编程序的课。Like(x，y)x喜欢y。谓词公式Prog(x)→Like(wang，x)表示的事实为()。 任意一个谓词公式都与一个前束范式等价（） 谓词和谓词性短语可以作宾语吗？ 谓词公式∀xP（x） ®（∀x﹁Q（x） ®﹁∃xQ（x））的类型是永真式（） 谓词公式如同命题公式，根据真值可分为永真式、矛盾式和可满足式 根据谓词与项目的组合关系，可以把谓词分为（）、（）、（）、（）。 所有北大学生(S(x))都是聪明的(P(x))”谓词公式是 所有北大学生（S（x））都是聪明的（P（x））”谓词公式是（） 谓词P中的所有个体都是个体常量、变元或函数，则该谓词P为二阶谓词。() 谓词公式G是不可满足的，当且仅当对所有的解释G都为（）。 合一算法：求非空有限具有相同谓词名的原子公式集的（）