document.write( "Question 1158611: solve the proof \r
\n" ); document.write( "\n" ); document.write( "~F > ~G, P > ~Q, ~F v P, (~G v ~Q) > (L • M), therefore, L \n" ); document.write( "
Algebra.Com's Answer #781585 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "\r\n" );
document.write( " 1.  ~F > ~G, \r\n" );
document.write( " 2.  P > ~Q, \r\n" );
document.write( " 3.  ~F v P, \r\n" );
document.write( " 4.  (~G v ~Q) > (L • M),         therefore, L\r\n" );
document.write( "\r\n" );
document.write( " 5.  ~G v ~Q                1,2,3, Constructive dilemma\r\n" );
document.write( " 6.  L • M                  4,5    Modus Ponens\r\n" );
document.write( " 7.  L                      6,     Simplification\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );