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

【单选题】已知谓词公式(∀x)(∀y)(P(x, y)→Q(x, y)),将其化为子句集的结果正确的是A. S = {¬P(x,y)∨Q(x,y)}B. S =

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

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

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

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

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

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

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

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

【单选题】设 B 是不含变元 x 的公式,谓词公式 ( x)(A(x) → B) 等价于 ()【单选题】设 B 是不含变元 x 的公式,谓词公式 ( x)(A(