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

离散数学求帮助用推理规则证明下列各式P→(Q→R),S→P,Q=>S→R

题目详情
离散数学求帮助用推理规则证明下列各式P→(Q→R),S→P,Q=>S→R
▼优质解答
答案和解析
附加前提证明法.
1 S 附加前提引入
2 S→P 前提引入
3 P 12假言推理
4 P→(Q→R)) 前提引入
5 Q→R 34假言推理
6 Q 前提引入
7 R 56假言推理
所以,推理正确.