离散数学推理理论

离散数学推理理论
讲一下推理理论的格式吧!
学的时候概念清楚了,如下的证明格式感觉完全不理解.
特别是证明过程右侧部分.
有一道例题：(P∨Q)/\(P->B)/\(Q->S)=>S∨R
证:
1)P∨Q 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)S∨R T(7) E