下列关于字句特点说法错误的是（）
A: 子句内是没有合取词的
B: 子句中可以有析取词
C: 子句通过合取词连接句子
D: 子句集为S和谓词公式F的可满足性是等价的
A: 子句内是没有合取词的
B: 子句中可以有析取词
C: 子句通过合取词连接句子
D: 子句集为S和谓词公式F的可满足性是等价的
举一反三
- 由谓词公式转化子句集的过程可以看出，在子句集中子句之间是_______关系，其中只要有一个关系不可满足，则子句集就不可满足。 A: 析取 B: 合取 C: 继承 D: 包含
- 子句集中的各个子句之间是( )关系。 A: 等价 B: 析取 C: 合取 D: 蕴含
- 下列关于字句的说法错误的是（） A: 由于空子句不含有文字，它不能被任何解释满足，所以空子句是永假的，不可满足的 B: 在谓词逻辑中，任何一个谓词公式都可通过应用等价关系及推理规则化成相应的子句集 C: 任何文字的合取式称为子句 D: 不包含任何文字的字句称为空子句
- 子句集中的子句之间是合取关系。因此，子句集中只要有一个子句为不可满足，则整个子句集就是不可满足的。
- 子句是由文字的（）组成的公式 A: 析取 B: 合取 C: 蕴含 D: 双条件