用推理规则证明P→R.S∨P,-S=>R
来源:学生作业帮助网 编辑:作业帮 时间:2024/07/06 15:36:21
![用推理规则证明P→R.S∨P,-S=>R](/uploads/image/z/14162199-15-9.jpg?t=%E7%94%A8%E6%8E%A8%E7%90%86%E8%A7%84%E5%88%99%E8%AF%81%E6%98%8EP%E2%86%92R.S%E2%88%A8P%2C%EF%BC%8DS%EF%BC%9D%EF%BC%9ER)
用推理规则证明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 假言推理
证毕