例3.10用归结原理验证分离规则和拒取式 A∧(A→B)=>B (A→→B)∧一B=>-A 解 A∧(A→B)=A∧(_AVB)=>B (A→B)∧B=(-AVB)∧(B)=>-A例3.10 用归结原理验证分离规则和拒取式 A∧(A→B) ＝＞ B (A→B)∧﹁ B ＝＞﹁ A 解 A∧(A→B) ＝ A∧(﹁ A∨B) ＝＞ B (A→B)∧﹁ B ＝ (﹁ A∨B)∧(﹁ B) ＝＞ ﹁ A