离散数学命题演绎证明A∨B→C∧D，D∨E→F => A→F 毕业七八年了，实在不会，谢谢大家帮忙！

如下：

A∨B→C∧D , D∨E→F=> A→D, D→F =>A→F。

A∨B表示A,B中至少满足一个。

C∧D表示同时满足C和D。

学数学的小窍门

1、学数学要善于思考，自己想出来的答案远比别人讲出来的答案印象深刻。

2、课前要做好预习，这样上数学课时才能把不会的知识点更好的消化吸收掉。

3、数学公式一定要记熟，并且还要会推导，能举一反三。

4、学好数学最基础的就是把课本知识点及课后习题都掌握好。

5、数学80%的分数来源于基础知识，20%的分数属于难点，所以考120分并不难。

(1)┐（A→F） P(附加前提)
(2)A∧┐F T(1)E
(3)A T(2)I
(4)┐F T(2)I
(5)A∨B T(3)I
(6)A∨B→C∧D P
(7)C∧D T(5)(6)I
(8)D T(7)I
(9)D∨E T(8)I
(10)D∨E→F P
(11)F T(9)(10)I
(12)F∧┐F(矛盾) T(4)(11)I
E是等价 I是蕴含
P规则：前提在推导过程中的任何时候都可以引入使用
T规则：在推导中，如果有一个或多个公式、重言蕴含着公式S，则公式S可以引入推导之中

A∨B→C∧D , D∨E→F=> A→D, D→F =>A→F

A∨B表示A,B中至少满足一个
C∧D表示同时满足C和D