Question 1142475
<pre>
 1.	K ⊃ L	 
 2.	∼K ∨ F	 
 3.	(L • F) ⊃ A	 
 4.	∼A	      / ∼K

 5.     ~A ⊃ ~(L • F)          3, transposition 
 6.     ~(L • F)               5,4, modus ponens
 7.     K ⊃ F                  2, material implication
 9.     K ⊃ (L • F)            1,7, composition 
10.     ~K                     9,6, modus tollens 

Edwin</pre>