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

Algebra ->  Proofs -> SOLUTION: Please help me complete the conditional proof for this problem: (F v ~ G) → ~ L .: L → G      Log On


   

Question 1026724: Please help me complete the conditional proof for this problem:
(F v ~ G) → ~ L .: L → G
Answer by jim_thompson5910(35256) About Me  (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