SOLUTION: Use natural deduction to derive the conclusion in each problem. Use an ordinary proof (not conditional or indirect proof): 1. K ⊃ L 2. ∼K ∨ F 3. (L • F) ⊃

Algebra.Com
Question 1142475: Use natural deduction to derive the conclusion in each problem.

Use an ordinary proof (not conditional or indirect proof):

1. K ⊃ L
2. ∼K ∨ 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 ∨ F	 
 3.	(L • F) ⊃ A	 
 4.	∼A	      / ∼K

 5.     ~A ⊃ ~(L • F)          3, transposition 
 6.     ~(L • F)               5,4, modus ponens
 7.     K ⊃ F                  2, material implication
 9.     K ⊃ (L • F)            1,7, composition 
10.     ~K                     9,6, modus tollens 

Edwin
RELATED QUESTIONS

INSTRUCTIONS: Use natural deduction to derive the conclusion in the following problems. (answered by AnlytcPhil)
INSTRUCTIONS: Use natural deduction to derive the conclusion in the following problems. (answered by jim_thompson5910)
Use natural deduction to derive the conclusion in each problem. Use an ordinary... (answered by Edwin McCravy)
Use natural deduction to derive the conclusion in each problem. Use an ordinary proof... (answered by Edwin McCravy)
Use natural deduction to derive the conclusion in each problem. Use conditional proof (answered by jim_thompson5910)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by solver91311)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by jim_thompson5910)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by math_helper)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by math_helper)