SOLUTION: 1. K⊃L 2. ∼(L•F) 3. F / ∼K

Question 1140110: 1. K⊃L
2. ∼(L•F)
3. F / ∼K
Answer by Edwin McCravy(20054) (Show Source): You can put this solution on YOUR website!

1. K⊃L 
2. ∼(L•F)
3. F         / ∼K

4. ~L∨~F     2, deMorgan's law
5. ~F∨~L     4, commutation
6. ~~F       3, double negation
7. ~L        5,6, disjunctive syllogism
8. ~K        1,7, modus tollens

Edwin

RELATED QUESTIONS
I need help finishing this proof. (~K -> K) -> ~L, ~(~L -> ~M) -> L, M :. K <-> ~L 1. (answered by jim_thompson5910)

1. (E∨F)→~G 2. ~H 3. H∨K 4. (K∨L)→E ∴... (answered by jim_thompson5910)

Use an ordinary proof to show the conclusion can be derived from the premises. 1. K... (answered by Edwin McCravy)

Use natural deduction to derive the conclusion in each problem. Use an ordinary... (answered by Edwin McCravy)

f:k arrow k^2-3. Find... (answered by ikleyn)

f:k → k^2- 3. Find f^-1: k (answered by ikleyn)

1). ~(K•L) 2). K -> L Therefore,... (answered by Edwin McCravy,math_tutor2020)

Complete the truth table to show whether the following argument is valid or invalid. If... (answered by solver91311)

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