UC知道离散数学推理理论
来源：百度知道 编辑：UC知道 时间：2024/06/04 07:09:00
讲一下推理理论的格式吧！
学的时候概念清楚了，如下的证明格式感觉完全不理解。
特别是证明过程右侧部分。
麻烦全部详细说明一下，谢谢了。
有一道例题：(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
学的时候概念清楚了，如下的证明格式感觉完全不理解。
特别是证明过程右侧部分。
麻烦全部详细说明一下，谢谢了。
有一道例题：(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条左右吧 化简化简 其实也没多少条 要记的
看点书就行了 看上去复杂 其实很简单的