关于离散数学的推理

Question

用命题公式描述下面的推理,并证明推理的有效性:

由红,黄,蓝,白四队的桥牌对抗赛.如果红队第3,则当黄队第2时,蓝队第4;或者白队不是第一,或者红队第3;事实上.黄队第2.因此.如果白队第1,那么蓝队第4.

求高手解答啊!!!!

Answer 1

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