Question 1188428
<pre>
Q:
// [F • (D ⊃ ∼ F)] ⊃ (D ⊃ A)    

---------------------------------------------------
1.     [F • (D ⊃ ∼ F)] ⊃ (D ⊃ A)             Assumption
2.         [F • (D ⊃ ∼ F)]                    Assumption
3.              D                              Assumption
4.              F                              2              & Intro 
5.              D ⊃ ~F                         2              & Intro
6.              ~F                             3,5            ⊃ Elim 
7.              F • ~F                         4,6            & Intro
8.           A                                 7              Falsum Intro
9.      D ⊃ A                                 3-8             ⊃ Intro
10.  [F • (D ⊃ ∼ F)] ⊃ (D ⊃ A)               2-9             ⊃ Intro
                                                                        QED



</pre>