西安电子科技大学S1.3.2永真蕴含式软件学院茶9个基本的永真蕴含式I1P=→PVQ IsPAQ→PI;PA(P-Q) =QI4(P-→Q) A-Q→-PI;-PA(PVQ) =QI.(P-Q)A(Q-R) =(P-R) I7(P-Q)=→(Q-→R) -(P-→R)Is((P-Q)A(R-S)=(PAR-QAS)Ig(P-Q)A(Q-R))=(P-R)西安电子科技大学 §1.3.2 永真蕴含式 软件学院