归结反演（Refutation）

    本节内容分以下三块：

  　1、基子句的归结（Resolution）

         重点讨论基子句的归结问题。  

    2、一般子句的归结

         介绍一般子句的归结方法。

    3、归结反演

         介绍如何用归结和反演的方法实现定理的证明。