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

1、下面的谓词公式是有效式的是

下面的谓词公式是有效式的是AⅠ和ⅡB只有ⅡC只有ⅢD只有Ⅰ

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

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

3、设P是谓词公式，对于P的任何论域，存在P为真的情况，则称P为（）。

设P是谓词公式，对于P的任何论域，存在P为真的情况，则称P为（）。

4、在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。

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

5、求取子句集的步骤包括以下步骤：消去“蕴含”连结词、减少“非”连结词的辖域、对

求取子句集的步骤包括以下步骤：消去“蕴含”连结词、减少“非”连结词的辖域、对变量标准化、消去存在量词、化成前束范式、（）。A将母式化成合取范式B消去全称量词C消去合取连...

6、根据谓词与项目的组合关系，可以把谓词分为（）、（）、（）、（）。

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