关于离散数学的推理用命题公式描述下面的推理,并证明推理的有效性:由红,黄,蓝,白四队的桥牌对抗赛.如果红队第3,则当黄队
来源:学生作业帮 编辑:搜狗做题网作业帮 分类:数学作业 时间:2024/08/17 16:52:00
关于离散数学的推理
用命题公式描述下面的推理,并证明推理的有效性:
由红,黄,蓝,白四队的桥牌对抗赛.如果红队第3,则当黄队第2时,蓝队第4;或者白队不是第一,或者红队第3;事实上.黄队第2.因此.如果白队第1,那么蓝队第4.
求高手解答啊!
用命题公式描述下面的推理,并证明推理的有效性:
由红,黄,蓝,白四队的桥牌对抗赛.如果红队第3,则当黄队第2时,蓝队第4;或者白队不是第一,或者红队第3;事实上.黄队第2.因此.如果白队第1,那么蓝队第4.
求高手解答啊!
![关于离散数学的推理用命题公式描述下面的推理,并证明推理的有效性:由红,黄,蓝,白四队的桥牌对抗赛.如果红队第3,则当黄队](/uploads/image/z/3127754-2-4.jpg?t=%E5%85%B3%E4%BA%8E%E7%A6%BB%E6%95%A3%E6%95%B0%E5%AD%A6%E7%9A%84%E6%8E%A8%E7%90%86%E7%94%A8%E5%91%BD%E9%A2%98%E5%85%AC%E5%BC%8F%E6%8F%8F%E8%BF%B0%E4%B8%8B%E9%9D%A2%E7%9A%84%E6%8E%A8%E7%90%86%2C%E5%B9%B6%E8%AF%81%E6%98%8E%E6%8E%A8%E7%90%86%E7%9A%84%E6%9C%89%E6%95%88%E6%80%A7%3A%E7%94%B1%E7%BA%A2%2C%E9%BB%84%2C%E8%93%9D%2C%E7%99%BD%E5%9B%9B%E9%98%9F%E7%9A%84%E6%A1%A5%E7%89%8C%E5%AF%B9%E6%8A%97%E8%B5%9B.%E5%A6%82%E6%9E%9C%E7%BA%A2%E9%98%9F%E7%AC%AC3%2C%E5%88%99%E5%BD%93%E9%BB%84%E9%98%9F)
设P:红队第3,Q:黄队第2时,R:蓝队第4,S:白队是第一,则
前提:P→(Q→R),┐S∨P,Q;
结论:S→R;
推理的有效性证明如下:
(1)P→(Q→R),P规则
(2)┐P∨(┐Q∨R),T规则(1)
(3)Q→(P→R),T规则(2)
(4)┐S∨P,P规则
(5)S→P,T规则(4)
(6)Q,P规则
(7)P→R,T规则(3)(6)
(8)S→R,T规则(5)(7)
前提:P→(Q→R),┐S∨P,Q;
结论:S→R;
推理的有效性证明如下:
(1)P→(Q→R),P规则
(2)┐P∨(┐Q∨R),T规则(1)
(3)Q→(P→R),T规则(2)
(4)┐S∨P,P规则
(5)S→P,T规则(4)
(6)Q,P规则
(7)P→R,T规则(3)(6)
(8)S→R,T规则(5)(7)