作业帮用推理规则证明P→R.S∨P,－S＝＞R
来源：学生作业帮助网 编辑：作业帮 时间：2024/11/21 00:33:31
x){>eų'Xcfi lȰig ++X{uvӀB/g|Z~TKW( e,&<
= D
用推理规则证明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 假言推理
证毕