由于空子句不含有任何文字，也就不能被任何解释所满足，因此空子句是永假的，不可满足的。
举一反三
- 下列关于字句的说法错误的是（） A: 由于空子句不含有文字，它不能被任何解释满足，所以空子句是永假的，不可满足的 B: 在谓词逻辑中，任何一个谓词公式都可通过应用等价关系及推理规则化成相应的子句集 C: 任何文字的合取式称为子句 D: 不包含任何文字的字句称为空子句
- 子句集中的子句之间是合取关系。因此，子句集中只要有一个子句为不可满足，则整个子句集就是不可满足的。
- 空子句是不可满足的。因此，一个子句集中如果包含有空子句，则此子句集就一定是不可满足的。
- 【多选题】下列说法正确的是() A. 空子句是永假的,不可满足的 B. 在谓词逻辑中,不是任何一个谓词公式都可以通过应用等价关系及推理规则化成相应的子句集 C. 任何文字的析取式称为子句 D. 归结演绎定理证明的 实质是对前提P和结论Q,证明P->Q的永真性
- 鲁滨逊归结原理中空子句是不可满足的，若一个子句集包含空子句集，则这个子句集一定是不可满足的