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

来源：学生作业帮助网编辑：六六作业网时间：2024/05/24 05:44:16

用推理规则证明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.-

用推理规则证明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 假言推理
证毕