首页->东数西算

下列说法不正确的是( )。

（A）空子句是永假的，不可满足的

（B）在谓词逻辑中，不是任何一个谓词公式都可通过应用等价关系及推理规则化成相应的子句集

（C）任何文字的析取式称为子句

（D）归结演绎定理证明的实质是对前提P和结论Q证明P->Q的永真性