西安电子科技大学S1.3.2永真蕴含式软件学院【例题】］证明： -QA(P→Q)→ -P方法二：（假定前件为真，推出后件也为真）假定-Q^(P→Q)为T，则有-Q为T且P→Q为T由P-→Q为T，可得-Q→-P为T文-Q为T，可得-P为T故有-Q ^(P-→Q)=-P.西安电子科技大学 软件学院 假定¬Q∧(P→Q)为T，则有¬Q为T且P→Q为T. 由P→Q为T，可得¬Q→¬P为T. 又¬Q为T，可得¬P为T. 故有¬Q ∧(P→Q)⇒¬P. §1.3.2 永真蕴含式