命题推理 前提：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 附加前提引入
2 S→P 前提引入
3 P 12假言推理
4 P→(Q→R) 前提引入
5 Q→R 34假言推理
6 Q 前提引入
7 R 56假言推理

1 S P附加前提
2 S->P P
3 P T(1)(2) I
4 P->(Q->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

收起