Question 1179120
<pre>   You may use either • or & for AND, whichever your teacher uses.

 1.	~(K v F)	 
 2.	~F ⊃ (K v C)	 
 3.	(G v C) ⊃  ~H	/ ~(K v H)

 4.      ~K & ~F     1, DeMorgan's law
 5.      ~K          4, Simplification
 6.      ~F & ~K     4, commutation
 7.      ~F          6, Simplification
 8.      K v C       2,7, Modus ponens
 9.      C           8,5, Disjunctive syllogism
10.      C v G       9, Addition
11.      G v C      10, Commutation
12.      ~H         3,11 Modus ponens
13.      ~K & ~H    5,12 Conjunction
14.      ~(K v H)   14, DeMorgan's law

Edwin</pre>