问题标题：
离散数学推理论证例题求解释?例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
问题描述：
离散数学推理论证例题求解释?
例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
怎么来的?这种例题困扰我好几天了.
冯冬竹回答：
后边标注P的表示已知条件,标注类似T(1)E这样的,就是由前面第(1)步的结论继续推证得到的结果.E应该是根据定理推证,I是根据前面某步或者某几步的结论推证.具体解释就是这样的：证法：（1）PVQP这是已知条件,不多说明...
点击显示
数学推荐
热门数学推荐