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

Question 1179120: 1. ~(K v F)
2. ~F ⊃ (K v C)
3. (G v C) ⊃ ~H / ~(K v H)
Answer by Edwin McCravy(20055) (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

RELATED QUESTIONS
1. ~(K v F) 2. ~F ⊃ (K v C) 3. (G v C) ⊃ ~H /~(K v H) (answered by CPhill)

please help me solve this: 1.(F v G) > (H & I) 2. I > K 3.~k.:... (answered by Edwin McCravy)

Solve the two step proofs below: 1. ~C 2. A > B 3. B > C / ~A 1. D > E 2. F > G (answered by Edwin McCravy)

1. (R v S) > (H & ~G) 2. (K v R) > (G v ~H) / ~R (answered by jim_thompson5910)

1.(N V O) ⊃ (C • D) 2.(D V K) ⊃ (P V ~C) 3.(P V G) ⊃ (N • D) ∴... (answered by math_tutor2020)

1. (I v K)>~L 2. (H v J) >I 3. ~K 4. H v K... (answered by jim_thompson5910)

1. (I v K) > ~L 2. (H v J) > I 3. ~K 4. H v K... (answered by jim_thompson5910)

1. ~H 2. H v K 3. L >H 4. ~(K.~L) v (~L.M) /... (answered by jim_thompson5910)

1. (F v S) > (V * G) 2. F * (C = D) / F *... (answered by jim_thompson5910)