离散数学推理论证例题求解释?

题目

离散数学推理论证例题求解释?
例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
怎么来的?这种例题困扰我好几天了.

答案

后边标注P的表示已知条件,标注类似T(1)E这样的,就是由前面第(1)步的结论继续推证得到的结果.E应该是根据定理推证,I是根据前面某步或者某几步的结论推证.具体解释就是这样的：证法：（1）PVQ P这是已知条件,不多说明...