第七周周五，七八节，小测验

3.5和3.6

出一个问题，用guijiefanyan去验证

第二个用guijiefanyan去求解

重点就是guijiefanyan的几个步骤

怎么划分子句、怎么样

会把相关的公式都给大家

用微助教，拍照上传到系统上

（去年是，今年不出选择判断了）

（大题，多写一些，分数基本上都有了）

和求集合运算差不多，否定的否定

求解问题的步骤

63 页

重点看看例题3.10和3.11

（第四章比较麻烦，就不出了）

花费半个小时应该就知道了

归结原理

应用归结原理求解问题的步骤:

1. 已知前提 F 用谓词公式表示，并化为子句集 S ;
2. 把待求解的问题 Q 用谓词公式表示，并否定 Q，再与ANSWER 构成析取式($\neg$Q ∨ ANSWER );
3. 把($\neg$Q ∨ ANSWER) 化为子句集，并入到子句集 S 中，得到子句集 S' ;
4. 对 S' 应用归结原理进行归结;
5. 若得到归结式 ANSWER ，则答案就在 ANSWER 中。

归结反演

应用归结原理证明定理的过程称为归结反演。

用归结反演证明的步骤是:

1. 将已知前提表示为谓词公式F。
2. 将待证明的结论表示为谓词公式Q，并否定得到$\neg$ Q。
3. 把谓词公式集{F，$\neg$Q} 化为子句集S。
4. 应用归结原理对子句集S中的子句进行归结，并把每次归结得到的归结式都并入到S中。如此反复进行，若出 现了空子句，则停止归结，此时就证明了Q为真。

---

都写出来啦✌🏻

老师说把步骤都写出来了，即使答案不对也可以拿80%