问题标题:
离散数学构造性二难的证明
问题描述:
离散数学构造性二难的证明
黄明辉回答:
构造性二难:(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
查看更多
八字精批
八字合婚
八字起名
八字财运
2024运势
测终身运
姓名详批
结婚吉日