离散数学推理论证例题求解释?
例3:证明(PVQ)∧(P→R)∧(Q→S)┠SVR.
证法:(1)PVQP
(2)┐P→QT(1)E
(3)Q→SP
(4)┐P→ST(2)(3)I
(5)┐S→PT(4)E
(6)P→RP
(7)┐S→RT(5)(6)I
(8)SVRT(7)E
怎么来的?这种例题困扰我好几天了.