问题标题:
离散数学构造性二难的证明
更新时间:2024-04-29 07:51:01
问题描述:

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

黄明辉回答:
  构造性二难:(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
查看更多
数学推荐
热门数学推荐