【离散数学推理理论讲一下推理理论的格式吧!学的时候概念清楚了,如下的证明格式感觉完全不理解.特别是证明过程右侧部分.有一道例题：(P∨Q)/(P->B)/(Q->S)=>S∨R证:1)P∨QP2)┒P->QT(1)E3)Q->SP4)】

　　离散数学推理理论

　　讲一下推理理论的格式吧!

　　学的时候概念清楚了,如下的证明格式感觉完全不理解.

　　特别是证明过程右侧部分.

　　有一道例题：(P∨Q)/(P->B)/(Q->S)=>S∨R

　　证:

　　1)P∨QP

　　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)S∨RT(7)E