西安电子科技大学$1.5.3推理证明方法软件学院【例题]证明：A→B,-(BC)~A步骤根据公式A(1)P（假设前提）P(2)A-→BB(3)T (1) (2) I假言推理P(4)-(B V C)(5)T (4) E-B^-C(6)-BT (5) I简化式(7)BΛ-B矛盾西安电子科技大学 软件学院 (1) A P(假设前提) (2) A→ B P 步骤 公式 根据 (3) B T (1) (2) I 假言推理 (4) ¬( B ∨ C) P (6) ¬ B T (5) I 简化式 (5) ¬ B ∧ ¬ C T (4) E (7) B ∧ ¬ B 矛盾 §1.5.3 推理证明方法