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

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

[填空题] 谓词公式与其子句集的关系是（）。

[填空题] 在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。

[判断题] 具有相同原子序数和相同原子质量数的同一类原子称为一种核素。A . 正确B . 错误

[单选题]具有相同（）的同一类原子叫做元素。A .核外电子数B .核电荷数C .质子和中子数D .中子数

[单选题]下面的谓词公式是有效式的是( )。A．Ⅰ和ⅡB．只有ⅡC．只有ⅢD．只有Ⅰ

[单选题]下面的谓词公式是有效式的是A．Ⅰ和ⅡB．只有ⅡC．只有ⅢD．只有Ⅰ

[填空题] 用退算法求鱼类以往各龄生长情况的公式为（）。

[单选题]具有相同的（）的同一类原子叫做元素。A .核外电子数B .核电荷数C .质子和中子数D .中子数

[单选题]元素是具有相同（）的同一类原子的总称。A . 核电荷数；B . 质量数；C . 中子数；D . 电子数。