早教吧 育儿知识 作业答案 考试题库 百科 知识分享

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