文章目录

定义

原子谓词公式：一个不能再分解的命题
如：花是红的、雪是白的

文字：原子谓词公式及其否定
P称为正文字，非P称为负文字，P和非P为互补文字

子句：任何文字的析取式称为子句，文字本身也是子句。
如：P或Q，P或(非Q)

空子句：不包含任何文字的子句，表示为NIL。
空子句是永假的，不可满足的

一般过程

在这里插入图片描述

1. 消去蕴含和等价

在这里插入图片描述

2. 移动否定符号

在这里插入图片描述

3. 变量标准化

在这里插入图片描述
在这里插入图片描述

4. 消去存在量词

在这里插入图片描述

5. 化为前束型

在这里插入图片描述

6. 化为Skolem标准型

在这里插入图片描述

7. 略去全称量词

在这里插入图片描述

8. 消去合取词，把母式用子句集表示

在这里插入图片描述

9. 子句变量标准化

不同的子句用不同的变元

在这里插入图片描述

Logo
2048 AI社区

有“AI”的1024 = 2048，欢迎大家加入2048 AI社区

更多推荐

cover

论文季救命清单：2026写论文用哪个AI？7款论文AI工具覆盖找文献、出初稿到降重！

avatar 2048 AI社区
cover

EasyClick iOS USB 中控 + iDeviceFarm AI 工作站安装教程，AI对话式操作苹果手机

avatar 2048 AI社区
cover

阿里云旗下新平台公测，Qwen3.8-Max、DeepSeek-V4-Pro等模型限时限量免费用

avatar 2048 AI社区