离散数学 试证明(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 ……
得证。本回答被提问者采纳