【人工智能导论】逻辑学：消解规则（归结原理）的证明

 

查阅了很多书，都是将归结原理作为结论直接引入，而没有证明。疑惑了两三天，最终给出了证明。（感谢文学系的一位朋友提供了重要思路）