离散数学问题:A→B,乛(B∨C)推出乛A

 我来答
zzllrr小乐
高粉答主

2015-08-20 · 小乐图客,小乐数学,小乐阅读等软件作者
zzllrr小乐
采纳数:20147 获赞数:78785

向TA提问 私信TA
展开全部
前提2 ¬(B∨C)⇒¬B∧¬C⇒顷兆¬B
前提1 A→猛乎侍B
⇒¬枝吵A
已赞过 已踩过<
你对这个回答的评价是?
评论 收起
孤独歌颂者
2015-08-20 · TA获得超过4370个赞
知道小有建树答主
回答量:1257
采纳率:84%
帮助的人:438万
展开全部
乛(B∨C)
<=> 乛B^乛C
=>乛B

A→B
<顷搏=>乛B→乛A

乛B,乛B→迟乎烂乛A =>乛A

<=>是等价
=>码漏是蕴含
本回答被提问者和网友采纳
已赞过 已踩过<
你对这个回答的评价是?
评论 收起
推荐律师服务: 若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询

为你推荐:

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

类别

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

说明

0/200

提交
取消

辅 助

模 式