离散数学推理论证例题求解释?例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

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

离散数学推理论证例题求解释?例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
后边标注P的表示已知条件,标注类似T(1)E这样的,就是由前面第(1)步的结论继续推证得到的结果.E应该是根据定理推证,I是根据前面某步或者某几步的结论推证.
具体解释就是这样的：
证法：（1）PVQ P
这是已知条件,不多说明
（2）┐P→Q T（1）E
根据第(1)步得到的,因为PVQ ┐P→Q 是定理
（3）Q→S P
这是已知条件,不多说明
（4）┐P→S T（2）（3）I
根据第（2）和（3）步,┐P→Q并且┐Q→S传递得到┐P→S
（5）┐S→P T（4）E
这是根据第（4）步的结论由定理推证的.
如果简单证明就是
┐P→S PVS SVP ┐S→P
（6）P→R P
这是已知条件,不多说明
（7）┐S→R T（5）（6）I
根据(5)(6)的结论得到的传递
（8）SVR T（7）E
根据(7)再次应用->展开的定理.

1、命题引入
2、对（1）进行了置换（使用了蕴涵等值式）
3、命题引入
4、对（2）、（3）使用了假言三段论
5、对（4）进行了置换（假言易位等值式）
6、命题引入
7、对（5）、（6）使用了假言三段论
8、对7进行了置换（使用了蕴涵等值式）
－－－－－
不同教材对推理规则的命名稍有不同，具体说法请参见课本...

全部展开

1、命题引入
2、对（1）进行了置换（使用了蕴涵等值式）
3、命题引入
4、对（2）、（3）使用了假言三段论
5、对（4）进行了置换（假言易位等值式）
6、命题引入
7、对（5）、（6）使用了假言三段论
8、对7进行了置换（使用了蕴涵等值式）
－－－－－
不同教材对推理规则的命名稍有不同，具体说法请参见课本

收起