当前位置 :
离散数学构造性二难的证明
1人问答
更新时间:2024-04-20 04:50:29
问题描述:

离散数学构造性二难的证明

黄明辉回答:
  构造性二难:(A→B)∧(C→D)∧(A∨C)推出(B∨D)   证明:(A→B)∧(C→D)∧(A∨C)   双推出((A→B)∧A)∨(C→D)∧C)   推出B∨D   证明完毕   其中用到假言推理:(A→B)∧A推出B
数学推荐
最新更新
优秀数学推荐
热门数学
PC端 | 移动端 | mip端
问答网(wenda2.com)汇总了汉语字典,新华字典,成语字典,组词,词语,在线查字典,中文字典,英汉字典,在线字典,康熙字典等等,是学生查询学习资料的好帮手,是老师教学的好助手。
声明:本网站尊重并保护知识产权,根据《信息网络传播权保护条例》,如果我们转载的作品侵犯了您的权利,请在一个月内通知我们,我们会及时删除。

邮箱:联系方式:

Copyright©2009-2021 问答网 wenda2.com 版权所有 闽ICP备2022000227号-1