在离散数学中 前提是p蕴含q 结论是p蕴含(p且q) 的推理证明
1个回答
展开全部
1、p->q 前提引入
2、p 附加前提引入（结论为蕴含式时可以用）
3、q 1、2假言推理.
4.pvq 2,3附加律
所以就可以证出前提是p蕴含q 结论是p蕴含(p且q) .
2、p 附加前提引入（结论为蕴含式时可以用）
3、q 1、2假言推理.
4.pvq 2,3附加律
所以就可以证出前提是p蕴含q 结论是p蕴含(p且q) .
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
