命题推理 前提：P->(Q->R),S->P,Q结论：S->R

命题推理 前提：P->(Q->R),S->P,Q结论：S->R
命题推理
前提：P->(Q->R),S->P,Q
结论：S->R

命题推理 前提：P->(Q->R),S->P,Q结论：S->R
1 S P附加前提
2 S->P P
3 P T(1)(2) I
4 P->(Q->R) P
5 Q->R T(3)(4) I
6 Q P
7 R T(5)(6) I
8 S->R CP