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

Algebra ->  Proofs -> SOLUTION: 1. ~(K v F) 2. ~F ⊃ (K v C) 3. (G v C) ⊃ ~H / ~(K v H)      Log On


   

Question 1179120: 1. ~(K v F)
2. ~F ⊃ (K v C)
3. (G v C) ⊃ ~H / ~(K v H)
Answer by Edwin McCravy(20055) About Me  (Show Source):
You can put this solution on YOUR website!
   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