人工智能原理

　　证明：根据归结原理
　　将待证明公式转化成待归结命题公式：
　　(P → Q) ∧～(～Q → ～P)
　　分别将公式前项化为合取范式：
　　P → Q ＝～P ∨ Q
　　结论求～后的后项化为合取范式：
　　～(～Q → ～P)＝～(Q∨～P) ＝～Q ∧ P
　　两项合并后化为合取范式：
　　（～P ∨ Q）∧～Q ∧ P
　　则子句集为：
　　{ ～P∨Q，～Q，P}
　　对子句集中的子句进行归结可得：
　　1. ～P∨Q
　　2. ～Q
　　3. P
　　4. Q，（1，3归结）
　　5. e，（2，4归结）
　　由上可得原公式成立。
　　谓词的归结：除了有量词和函数以外，其余和命题归结过程一样。
　　教师提示：命题逻辑基础是学习归结法的必要基础，应该在前序的课程中学习过。这里列出的只是一些简单的性质。如果大家对这些知识有什么疑惑的话，请参考数理逻辑的有关书籍。命题逻辑的归结法的逻辑基础是假言易位式和摩根律。