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

在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。 以下哪个不是谓词公式（） 钠原子和Mg原子具有相同的（） 稳定流时用什么公式求流量？非稳定流流量一定时用什么公式求流量？第一类越流系统地下水流向承压完整井的非稳定运动用什么公式求流量？ 对于一阶谓词逻辑，如果没有归结出空子句，则说明原谓词公式是不可满足的 下列谓词公式是等价的有() 具有相同（）的同一类原子叫做元素。 程序流程图和伪代码可以等效用于表示同一算法（） 任意一个谓词公式都与一个前束范式等价（） 以下谓词公式中，（）不是逻辑有效式 具有相同外层电子的原子和原子团称为( ) 具有相同的（）的同一类原子叫做元素。 元素是具有相同（）的一类原子的总称。 求合力的方法有图解法和公式计算法两种。 从原子结构上讲，具有相同核电荷数的同一类原子叫（） 元素是具有相同（）的同一类原子的总称。 元素是具有相同数的一类原子的总称（） 定义谓词如下：COMPUTER(x):x是计算机系的学生;LIKE(x，y):x喜欢y。张晓辉是一名计算机系的学生，他喜欢编程序。用谓词公式表示为()。 四比一算，一算是指()。 从原子结构上讲，具有相同核电荷数的同一类原子叫元素（）