Question 1157554
<pre>

1.	∼A ⊃ (B • C)	 
2.	D ⊃ ∼C	        / D ⊃ A

           | 3.  ~(D ⊃ A)      Assumption for Indirect Proof
           | 4.  ~(~D v A)     3, Material Implication
           | 5.  ~~D • ~A      4, DeMorgan's Law
           | 6.  D • ~A        5, Double Negation
           | 7.  D             6, Simplification
           | 8.  ~A • D        6, Commutation 
           | 9.  ~A            8, Simplification
           |10. ~C             2,7, Modus Ponens 
           |11. ~C v ~B        10, Addition
           |12. ~(C • B)       11, DeMorgan's Law
           |13. ~(B • C)       12, Commutation
           |12. ~~A            2,13, Transposition
           |13. A              12, Double Negation
           |14. A • ~A         13,9, Conjunction
15. D ⊃ A         Lines 3-14   Indirect Proof

Edwin</pre>