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

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