推理规则 (1)前提引入规则 (6)化简规则 (2)结论引入规则 A入B (3)置换规则 (4)假言推理规则 (7)拒取式规则 A→>B A→B -B B (8)假言三段论规则 (5)附加规则 A→)B B→)C AVB ∴A→C9 推理规则 (1) 前提引入规则 (2) 结论引入规则 (3) 置换规则 (4) 假言推理规则 A→B A \ B (5) 附加规则 A \AB (6) 化简规则 AB \A (7) 拒取式规则 A→B B \A (8) 假言三段论规则 A→B B→C \A→C