SOLUTION: Please help me complete the conditional proof for this problem: (F v ~ G) → ~ L .: L → G

Algebra.Com
Question 1026724: Please help me complete the conditional proof for this problem:
(F v ~ G) → ~ L .: L → G
Answer by jim_thompson5910(35256)   (Show Source): You can put this solution on YOUR website!
NumberStatementLines UsedReason
1.(F v ~G) -> ~L
:.L -> G
|2.LAssumption for Conditional Proof
|3.~~L2Double Negation
|4.~(F v ~G)1,3Modus Tollens
|5.~F & ~~G4De Morgan's Law
|6.~F & G5Double Negation
|7.G & ~F6Commutation
|8.G7Simplification
9.L -> G2-8Conditional Proof
RELATED QUESTIONS

Hello, can you please help me with this problem? Use one of the indirect proof... (answered by jim_thompson5910)
Hello team, would you be so kind to assist with this problem below. I’ve tried to figure... (answered by Edwin McCravy)
Choose one of the proofs below and use one of the indirect proof techniques (reductio ad... (answered by jim_thompson5910)
How do I solve ~Q → (L → F), Q → ~A, F → B, L, therefore, ~A v B... (answered by jim_thompson5910)
Can you please help me complete the following rules by adding the implication rules to... (answered by robertb)
(G&H)>(J<>L) G<>H (H&~L)v(H&K) Conclusion: J>K Can somebody please help me with... (answered by Edwin McCravy)
Please help me solve this logic proof: 1. E→H 2. (E ∨ F) • (E ∨ G) (answered by jim_thompson5910)
Complete the following proofs using the Conditional Proof method. 1) 1. ~(P ∙... (answered by solver91311)
2) I can only use the 8 Rules of Inference. I have tried and tried...it just doesn't jive (answered by jim_thompson5910)