大师作文网关于离散数学的推理用命题公式描述下面的推理,并证明推理的有效性:由红,黄,蓝,白四队的桥牌对抗赛.如果红队第3,则当黄队
来源：学生作业帮 编辑：大师作文网作业帮 分类：数学作业 时间：2024/11/10 22:47:51
关于离散数学的推理
用命题公式描述下面的推理,并证明推理的有效性:
由红,黄,蓝,白四队的桥牌对抗赛.如果红队第3,则当黄队第2时,蓝队第4;或者白队不是第一,或者红队第3;事实上.黄队第2.因此.如果白队第1,那么蓝队第4.
求高手解答啊!
用命题公式描述下面的推理,并证明推理的有效性:
由红,黄,蓝,白四队的桥牌对抗赛.如果红队第3,则当黄队第2时,蓝队第4;或者白队不是第一,或者红队第3;事实上.黄队第2.因此.如果白队第1,那么蓝队第4.
求高手解答啊!
设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)