离散数学谓词逻辑证明的问题

第五个步骤是怎么来的,看不懂,步骤2和步骤5合取到的吗... 第五个步骤是怎么来的,看不懂,步骤2和步骤5合取到的吗 展开
robin_2006
2014-06-21 · TA获得超过3.9万个赞
知道大有可为答主
回答量:1.3万
采纳率:79%
帮助的人:8156万
展开全部
对4使用德摩根律,把否定联结词拿到括号内去,再根据2与4使用析取三段论
推荐律师服务: 若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询

为你推荐:

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

类别

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

说明

0/200

提交
取消

辅 助

模 式