离散数学推理理论讲一下推理理论的格式吧!学的时候概念清楚了,如下的证明格式感觉完全不理解.特别是证明过程右侧部分.有一道
来源:学生作业帮 编辑:搜搜考试网作业帮 分类:数学作业 时间:2024/07/04 17:06:31
离散数学推理理论
讲一下推理理论的格式吧!
学的时候概念清楚了,如下的证明格式感觉完全不理解.
特别是证明过程右侧部分.
有一道例题:(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
![离散数学推理理论讲一下推理理论的格式吧!学的时候概念清楚了,如下的证明格式感觉完全不理解.特别是证明过程右侧部分.有一道](/uploads/image/z/3864843-27-3.jpg?t=%E7%A6%BB%E6%95%A3%E6%95%B0%E5%AD%A6%E6%8E%A8%E7%90%86%E7%90%86%E8%AE%BA%E8%AE%B2%E4%B8%80%E4%B8%8B%E6%8E%A8%E7%90%86%E7%90%86%E8%AE%BA%E7%9A%84%E6%A0%BC%E5%BC%8F%E5%90%A7%21%E5%AD%A6%E7%9A%84%E6%97%B6%E5%80%99%E6%A6%82%E5%BF%B5%E6%B8%85%E6%A5%9A%E4%BA%86%2C%E5%A6%82%E4%B8%8B%E7%9A%84%E8%AF%81%E6%98%8E%E6%A0%BC%E5%BC%8F%E6%84%9F%E8%A7%89%E5%AE%8C%E5%85%A8%E4%B8%8D%E7%90%86%E8%A7%A3.%E7%89%B9%E5%88%AB%E6%98%AF%E8%AF%81%E6%98%8E%E8%BF%87%E7%A8%8B%E5%8F%B3%E4%BE%A7%E9%83%A8%E5%88%86.%E6%9C%89%E4%B8%80%E9%81%93)
- -!一看就知道你没看书
E 就是基本等价关系
I 就是推理定律
P 是你引入的前提
T 是你根据哪段 推出的 就T(n)
主要是你要记住 E I 这些公式 好像有 40条左右吧 化简化简 其实也没多少条 要记的
看点书就行了 看上去复杂 其实很简单的
E 就是基本等价关系
I 就是推理定律
P 是你引入的前提
T 是你根据哪段 推出的 就T(n)
主要是你要记住 E I 这些公式 好像有 40条左右吧 化简化简 其实也没多少条 要记的
看点书就行了 看上去复杂 其实很简单的