离散数学推理理论

题目

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

答案

- -!一看就知道你没看书
E 就是基本等价关系
I 就是推理定律
P 是你引入的前提
T 是你根据哪段 推出的 就T（n）
主要是你要记住 E I 这些公式 好像有 40条左右吧 化简化简 其实也没多少条 要记的
看点书就行了 看上去复杂 其实很简单的