在离散数学中 前提是p蕴含q 结论是p蕴含(p且q) 的推理证明

 我来答
冒翠倪昆纬
2019-12-11 · TA获得超过3842个赞
知道大有可为答主
回答量:3179
采纳率:30%
帮助的人:450万
展开全部
1、p->q
前提引入
2、p
附加前提引入(结论为蕴含式时可以用)
3、q
1、2假言推理.
4.pvq
2,3附加律
所以就可以证出前提是p蕴含q
结论是p蕴含(p且q)
。希望对你有帮助。
已赞过 已踩过<
你对这个回答的评价是?
评论 收起
推荐律师服务: 若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询

为你推荐:

下载百度知道APP,抢鲜体验
使用百度知道APP,立即抢鲜体验。你的手机镜头里或许有别人想知道的答案。
扫描二维码下载
×

类别

我们会通过消息、邮箱等方式尽快将举报结果通知您。

说明

0/200

提交
取消

辅 助

模 式