SOLUTION: I need to somehow get ~K as the conclusion, using natural deduction (This means the 18 rules of natural deduction, Modus Ponens, Modus Tullens, De Morgan's Rule etc etc.) 1

Algebra ->  Proofs -> SOLUTION: I need to somehow get ~K as the conclusion, using natural deduction (This means the 18 rules of natural deduction, Modus Ponens, Modus Tullens, De Morgan's Rule etc etc.) 1      Log On


   



Question 928646: I need to somehow get ~K as the conclusion, using natural deduction (This means the 18 rules of natural deduction, Modus Ponens, Modus Tullens, De Morgan's Rule etc etc.)


1. K ⊃ L
2. ∼K ∨ F
3. (L • F) ⊃ A
4. ∼A

Answer by Edwin McCravy(20055) About Me  (Show Source):
You can put this solution on YOUR website!
I use slightly different symbols than you,
but you can figure them out:
 
 1. K->L	
 2. ~KvF	
 3. (L&F)->A	
 4. ~A
      // ~K

 5. ~A->~(L&F)        3, contrapositive
 6. ~(L&F)            5,4 hypothetical syllogism
 7. ~Lv~F             6, deMorgan's
 8. ~L->~K            1, contrapositive
 9. K->F              2, writing a disjunction as a conditional
10. ~F->~K            9, contrapositive
11. ~Kv~K             8,10,7, constructive delimma   
12. ~K                11, idempotent law

Edwin