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.Com
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(20055)   (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
RELATED QUESTIONS

Use an ordinary proof to show the conclusion can be derived from the premises. 1. G... (answered by Edwin McCravy)
Use an ordinary proof to show the conclusion can be derived from the premises. 1. ~N... (answered by robertb)
How do I complete the following proofs? Premises: 1. L ⊃ M 2. L 3. K v Q... (answered by Edwin McCravy)
Use natural deduction to derive the conclusion in each problem. Use an ordinary... (answered by Edwin McCravy)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by math_helper)
COMPLETE THE FOLLOWING PROOFS WITHOUT USING CONDITIONAL PROOF OR INDIRECT PROOF... (answered by robertb)
Use an ordinary proof to solve 1) 1.E ⊃ (S ⊃ T) 2.(~L ⋅... (answered by richwmiller,jim_thompson5910)
Use an ordinary proof to solve 1) 1.E ⊃ (S ⊃ T) 2.(~L ⋅... (answered by richwmiller,jim_thompson5910)
Please help me solve this proof! Premises: 1. (A⊃B)&(C⊃D) 2.... (answered by Edwin McCravy)