应用归结原理例PPT课件

-  -  - （一）应用归结原理进行定理证明 - 应用归结原理进行定理证明的步骤： 设要被证明的定理表示为：