用推理规则证明P→R.S∨P,－S＝＞R

用推理规则证明P→R.S∨P,－S＝＞R
用推理规则证明P→R.S∨P,－S＝＞R

用推理规则证明P→R.S∨P,－S＝＞R
前提：P→R,S∨P
结论：-S=>R
证明：附加前提证明法
1.S∨P 前提引入
2.-S 附加前提
3.P 1.2.析取三段论
4.P→R 前提引入
5.R 假言推理
证毕

前提：P→R，S∨P
结论：-S=>R
证明：附加前提证明法
1.S∨P 前提引入
2.-S 附加前提
3.P 1.2.析取三段论
4.P→R 前提引入
5.R 假言推理
证毕