离散数学证明逻辑蕴涵关系 (P→(Q→R））⇒(P→Q）→(P→R）
1个回答
展开全部
1）┐s 前提引入
2）q→s 前提引入
3）┐q 1）2）拒取式
4）(p∧┐q)→r 前提引入
5）p 前提引入
6）p∧┐q 3）5）合取
7）r 6）4）假言推理
故结论成立.
2）q→s 前提引入
3）┐q 1）2）拒取式
4）(p∧┐q)→r 前提引入
5）p 前提引入
6）p∧┐q 3）5）合取
7）r 6）4）假言推理
故结论成立.
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
