离散数学逻辑推理证明

 我来答
jy02447853
2018-03-28 · TA获得超过989个赞
知道小有建树答主
回答量:306
采纳率:0%
帮助的人:331万
展开全部

证明过程如图,其中(3)用附加前提证明法,把结论中的前件引入。

本回答被提问者和网友采纳
已赞过 已踩过<
你对这个回答的评价是?
评论 收起
帐号已注销
2018-03-27 · TA获得超过130个赞
知道答主
回答量:67
采纳率:48%
帮助的人:19.6万
展开全部
p蕴含q等价于非p或q,用这个等价式和前提很容易得到结论
已赞过 已踩过<
你对这个回答的评价是?
评论 收起
推荐律师服务: 若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询

为你推荐:

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

类别

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

说明

0/200

提交
取消

辅 助

模 式