二、归结推理规则
1. 归结式的定义
2. C1∧C2
R(C1, C2)
3. 归结法证明举例
R(C1,
C2)