题目:下列说法不正确的是
A. 空子句是永假的,不可满足的。
B. 在谓词逻辑中,不是任何一个谓词公式都可通过应用等价关系及推理规则化成相应的子句集。
C. 归结演绎定理证明的实质是对前提P和结论Q证明P->Q的永真性。
D. 任何文字的析取式称为子句。
答案:评论后可见此内容
推荐使用我们的公众号搜索题目,题目更全,检索更方便。支持语音、图片、文字等多种搜索方式。