离散数学求帮助用推理规则证明下列各式P→(Q→R),S→P, Q=>S→R
1个回答
展开全部
附加前提证明法。
1 S 附加前提引入
2 S→P 前提引入
3 P 12假言推理
4 P→(Q→R)) 前提引入
5 Q→R 34假言推理
6 Q 前提引入
7 R 56假言推理
所以，推理正确。
1 S 附加前提引入
2 S→P 前提引入
3 P 12假言推理
4 P→(Q→R)) 前提引入
5 Q→R 34假言推理
6 Q 前提引入
7 R 56假言推理
所以，推理正确。
更多追问追答
追问
是用的CP规则吗复制去Google翻译翻译结果
追答
是的，不同的教材上说法不一样，但意思相差不大
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
