问题标题:
离散数学构造性二难的证明
问题描述:
离散数学构造性二难的证明
黄明辉回答:
构造性二难:(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
点击显示
数学推荐
热门数学推荐