嗯哼哼 经典推理
让人首先想到的就是假言推理
嗯哼我们说的推理就是在这基础上的
对于一个复杂的句子（谓词公式）
我们首先要做的就是把他简单化 嗯哼哼 比如说化为合取范式
为什么化为合取范式嗯哼 当然是为了更好的推理出我们的结论
简单的一个合取范式
(p∨q∨p)∧(┐r∨p)
嗯哼 p q r 都是文字 (┐r∨p)则为子句 整体为句子
子句集就是｛(p∨q∨p)，(┐r∨p) ｝
就是这样子
而条件要推出结论Q
则只要把结论的否定┐Q加入子句集
嗯哼 因为句子为合取范式 则若┐Q加入 句子还为真 则证明 ┐Q为真 结论Q为假，反之
嗯哼哼
而我们可以通过对子句进行归结看是否推出空子句来判断新句子是否为真
现在简单的说下一个句子怎么化为合取范式
去蕴含 移否定 消存在量词 全称量词前移 化标准 去全称
去蕴含
移否定
消存在
移全称
化标准
去全称
子集换变量
再说说 归结
就是说 互补文字（P与¬P）
可以消除
eg：
C1=¬P∨Q, C2=¬Q∨R, C3=P
C1与C2归结得C12=¬P∨R
C12与C3归结得到：C123=R
归结 是可以证明的（有兴趣试试）
由于子句中含有变元，所以不能像命题逻辑那样直接消去互补文字，而需要先用最一般合一对变元进行代换，然后才能进行归结
就引出了 合一
合一 就是等价变换
因为 是任意
所以取相同的常量 就能进行归一了