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

附加前提证明法1 S 附加前提引入2 S→P 前提引入3 P 12假言推理4 P→(Q→R) 前提引入5 Q→R 34假言推理6 Q 前提引入7 R 56假言推理 再问： 3 P 12假言推理 不懂啊 附加前提法是怎么回事？ 再答： 那你就需要翻书了