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