离散数学推理论证例题求解释?
例3 ：证明（PVQ）∧（P→R）∧（Q→S）┠SVR.
怎么来的?这种例题困扰我好几天了.

后边标注P的表示已知条件,标注类似T(1)E这样的,就是由前面第(1)步的结论继续推证得到的结果.E应该是根据定理推证,I是根据前面某步或者某几步的结论推证.
这是已知条件,不多说明
根据第(1)步得到的,因为PVQ ┐P→Q 是定理
这是已知条件,不多说明
根据第（2）和（3）步,┐P→Q并且┐Q→S传递得到┐P→S
这是根据第（4）步的结论由定理推证的.
这是已知条件,不多说明
根据(5)(6)的结论得到的传递
根据(7)再次应用->展开的定理.

专业文档是百度文库认证用户/机构上传的专业性文档，文库VIP用户或购买专业文档下载特权礼包的其他会员用户可用专业文档下载特权免费下载专业文档。只要带有以下“专业文档”标识的文档便是该类文档。

VIP免费文档是特定的一类共享文档，会员用户可以免费随意获取，非会员用户需要消耗下载券/积分获取。只要带有以下“VIP免费文档”标识的文档便是该类文档。

VIP专享8折文档是特定的一类付费文档，会员用户可以通过设定价的8折获取，非会员用户需要原价获取。只要带有以下“VIP专享8折优惠”标识的文档便是该类文档。

付费文档是百度文库认证用户/机构上传的专业性文档，需要文库用户支付人民币获取，具体价格由上传人自由设定。只要带有以下“付费文档”标识的文档便是该类文档。

共享文档是百度文库用户免费上传的可与其他用户免费共享的文档，具体共享方式由上传人自由设定。只要带有以下“共享文档”标识的文档便是该类文档。