document.write( "Question 607200: Could you please help me solve the following proof? I have worked a few lines after the conclusion but am stuck after that. \r
\n" ); document.write( "\n" ); document.write( "1. E>(S>T)
\n" ); document.write( "2. (~L*M) > (S*E)
\n" ); document.write( "3. ~(TvL) // ~M
\n" ); document.write( "4. (E*S) >T 1. Exportation
\n" ); document.write( "5. ~T*~L 3. DeMorgans
\n" ); document.write( "6. ~T 5. Simplification
\n" ); document.write( "7. ~(E*S) 4,6 Modus Tollens\r
\n" ); document.write( "\n" ); document.write( "Key: > equals wedge
\n" ); document.write( " * equals dot \n" ); document.write( "
Algebra.Com's Answer #382503 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1.  E > (S > T)\r\n" );
document.write( "2.  (~L * M) > (S * E)\r\n" );
document.write( "3.  ~(T v L)                    // ~M\r\n" );
document.write( "-------------------------------------------------------\r\n" );
document.write( "4.   (E * S) >T\r\n" );
document.write( "5.   ~T * ~L\r\n" );
document.write( "6.   ~T\r\n" );
document.write( "7.   ~(E * S)\r\n" );
document.write( "8.   ~(S * E)                    7       Commutation\r\n" );
document.write( "9.   ~(~L * M)                   2,8     Modus Tollens\r\n" );
document.write( "10.  ~~L v ~M                    9       De Morgan's Law\r\n" );
document.write( "11.  L v ~M                      10      Double Negation\r\n" );
document.write( "12.  ~L * ~T                     5       Commutation\r\n" );
document.write( "13.  ~L                          12      Simplification\r\n" );
document.write( "14.  ~M                          11,13   Disjunctive Syllogism\r\n" );
document.write( "
\n" ); document.write( "
\n" );