SOLUTION: solve the proof ~F > ~G, P > ~Q, ~F v P, (~G v ~Q) > (L • M), therefore, L

Algebra ->  Proofs -> SOLUTION: solve the proof ~F > ~G, P > ~Q, ~F v P, (~G v ~Q) > (L • M), therefore, L      Log On


   

Question 1158611: solve the proof
~F > ~G, P > ~Q, ~F v P, (~G v ~Q) > (L • M), therefore, L
Answer by Edwin McCravy(20064) About Me  (Show Source):
You can put this solution on YOUR website!

 1.  ~F > ~G, 
 2.  P > ~Q, 
 3.  ~F v P, 
 4.  (~G v ~Q) > (L • M),         therefore, L

 5.  ~G v ~Q                1,2,3, Constructive dilemma
 6.  L • M                  4,5    Modus Ponens
 7.  L                      6,     Simplification

Edwin