关于离散数学的推理用命题公式描述下面的推理,并证明推理的有效性:由红,黄,蓝,白四队的桥牌对抗赛.如果红队第3,则当黄队

关于离散数学的推理
用命题公式描述下面的推理,并证明推理的有效性:
由红,黄,蓝,白四队的桥牌对抗赛.如果红队第3,则当黄队第2时,蓝队第4;或者白队不是第一,或者红队第3;事实上.黄队第2.因此.如果白队第1,那么蓝队第4.
求高手解答啊!
别说爱情苦 1年前 已收到1个回答 举报
赞

fit4g 幼苗

共回答了15个问题采纳率：86.7% 举报

设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)

1年前

9
可能相似的问题

你能帮帮他们吗

精彩回答

Copyright © 2024 YULUCN.COM - 雨露学习互助 - 17 q. 4.575 s. - webmaster@yulucn.com