字典翻译 问答 高中 数学 离散数学构造性二难的证明
问题标题:
离散数学构造性二难的证明
问题描述:

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

黄明辉回答:
  构造性二难:(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
点击显示
数学推荐
热门数学推荐
  • 语文
  • 数学
  • 英语
  • 政治
  • 地理
  • 历史
  • 化学
  • 生物
  • 物理
  • 综合
  • 高考