应用归结原理例

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