关于离散数学的推理答:设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...
离散数学命题逻辑推理答:若p->(q->s)真,则p假;或p真,且q->s真.(1)若p假,又知p∨非r真,则非r真,即r假.∴r->s真.(2)若p真,且q->s真,又知q真,则s真.∴r->s真.宗上所述:若 p->(q->s), q ,p∨非r,则r->s.