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

不是谓词公式 任意一个谓词公式都与一个前束范式等价（） 具有相同（）的同一类原子叫做元素。 对于一阶谓词逻辑，如果没有归结出空子句，则说明原谓词公式是不可满足的 （ ）和 （ ）具有许多相同的语法特点，合称为谓词 程序流程图和伪代码可以等效用于表示同一算法（） 具有相同的（）的同一类原子叫做元素。 元素是具有相同（）的一类原子的总称。 四比一算，一算是指()。 在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。 以下哪个不是谓词公式（） 元素是具有相同数的一类原子的总称（） 元素是具有相同（）的同一类原子的总称。 从原子结构上讲，具有相同核电荷数的同一类原子叫（） 钠原子和Mg原子具有相同的（） 同种元素的原子和离子都一定具有相同的(　　) 采购的“四比一算”中，一算是指（）。 从原子结构上讲，具有相同核电荷数的同一类原子叫元素（） 定义谓词如下：COMPUTER(x):x是计算机系的学生;LIKE(x，y):x喜欢y。张晓辉是一名计算机系的学生，他喜欢编程序。用谓词公式表示为()。 元素是具有相同质子数同一类原子的总称（）