试证明(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
前提：P→(Q→R),﹁S∨P,Q
结论：S→R
证明：
1）P→(Q→R) 前提引入
2）Q→(P→R) 1）等值置换
3）Q 前提引入
4）P→R …… (留给你)
5）﹁S∨P ……
6）S 附加前提引入
7）P ……
8）R ……
9）S→R ……
得证.