谓词公式与其子句集的关系是（）。

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

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

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

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

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

[问答题] 子句集的化简的步骤？‘

[单选题]子句是由文字的（）组成的公式A . 析取B . 合取C . 蕴含D . 双条件

[填空题] 根据谓词与项目的组合关系，可以把谓词分为（）、（）、（）、（）。

[问答题] 支持集策略对参加归结的子句提出了什么限制？

[填空题] 谓词公式G是不可满足的，当且仅当对所有的解释G都为（）。