SOLUTION: Use an ordinary proof to show the conclusion can be derived from the premises. 1. K ⊃ L 2. ~K v F 3.(L • F) ⊃ A 4. ~A /~K

Algebra ->  Proofs -> SOLUTION: Use an ordinary proof to show the conclusion can be derived from the premises. 1. K ⊃ L 2. ~K v F 3.(L • F) ⊃ A 4. ~A /~K      Log On


   

Question 1029802: Use an ordinary proof to show the conclusion can be derived from the premises.
1. K ⊃ L
2. ~K v F
3.(L • F) ⊃ A
4. ~A /~K
Answer by Edwin McCravy(20054) About Me  (Show Source):
You can put this solution on YOUR website!
 1. K ⊃ L 
 2. ~K v F 
 3. (L • F) ⊃ A 
 4. ~A           /~K

 5. ~A ⊃ ~(L • F)           3, Transposition
 6. ~(L • F)                5,4, Modus Ponens
 7. ~K v L                  1, Material Implication
 8. (~K v L) • (~K v F)     7,2 Conjunction of premises
 9. ~K v (L • F)            8, Distribution
10. (L • F) v ~K            9, Commutation
11. ~K                     10,6 Disjunctive Syllogism

Edwin