离散数学推理论证例题求解释?
例3 ：证明（PVQ）∧（P→R）∧（Q→S）┠SVR.
证法：（1）PVQ P
（2）┐P→Q T（1）E
（3）Q→S P
（4）┐P→S T（2）（3）I
（5）┐S→P T（4）E
（6）P→R P
（7）┐S→R T（5）（6）I
（8）SVR T（7）E
怎么来的?这种例题困扰我好几天了.