Question

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

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)