用归谬法(A→B)∧(C→D)∧(A∨C)=> (B∨D)等价于(A→B)∧(C→D)∧(A∨C)∧(非(B∨D))(A→B)∧(C→D)∧(A∨C)∧(非(B∨D))=> (A→B)∧(C→D)∧(非(B∨D))∧(A∨C) => ((A→B)∧非B) ∧((C→D)∧非D)∧(A∨C) =>非A∧...