离散数学构造性二难推导过程

构造性二难:(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