合一算法：求非空有限具有不同谓词名的原子公式集的最一般合一。

任意一个谓词公式都与一个前束范式等价（） 对于一阶谓词逻辑，如果没有归结出空子句，则说明原谓词公式是不可满足的 程序流程图和伪代码可以等效用于表示同一算法（） 四比一算，一算是指()。 在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。 以下哪个不是谓词公式（） 采购的“四比一算”中，一算是指（）。 定义谓词如下：COMPUTER(x):x是计算机系的学生;LIKE(x，y):x喜欢y。张晓辉是一名计算机系的学生，他喜欢编程序。用谓词公式表示为()。 下列谓词公式是等价的有() 在谓词公式中，一个变量只能是自由变量或约束变量中的一种。（>（） 以下谓词公式中，（）不是逻辑有效式 深圳航空有限责任公司的一贯指导思想是（） 求合力的方法有图解法和公式计算法两种。 能采用贪心算法求最优解的问题，一般具有的重要性质为：（） 对于同一个问题可采用不同的算法去解决，但不同的算法通常具有相同的效率。 对于同一个问题可采用不同的算法去解决，但不同的算法通常具有相同的效率（） 北京南苑机场是哪一家航空有限公司独家使用的（） 人工智能算法的训练一般需要训练集、测试集和验证集。 屈指一算　　 在谓词逻辑知识表示法中，如果谓词的个体本身不是谓词，那么称它为一阶谓词