Question

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

Answer 1

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