文章目录
- 定义
- 一般过程
-
- 1. 消除包含和等价
- 2. 移动否定符号
- 3. 变量标准化
- 4. 消除存在量词
- 5. 化为前束型
- 6. 化为Skolem标准型
- 7. 全称量词略去
- 8. 消除合取词，表示母式用子句集
- 9. 子句变量标准化
定义
原子谓词公式：不能再分解的命题 例如，花是红色的，雪是白色的
文本：原子谓词公式及否定 P称为正文，非P称为负文，P以非P为补
子句：任何文字的分析都叫子句，文字本身也是子句。 如：P或Q，P或(非Q)
空子句:不含任何文字的子句表示为NIL。 空子句是永假的，不能满足
一般过程
1. 消除包含和等价
2. 移动否定符号
3. 变量标准化
4. 消除存在量词
5. 化为前束型
6. 化为Skolem标准型
7. 全称量词略去
8. 消除合取词，表示母式用子句集
9. 子句变量标准化
不同的句子使用不同的变元