document.write( "Question 1171295: Construct a proof for the following:\r
\n" ); document.write( "\n" ); document.write( "1. ~(J * L)\r
\n" ); document.write( "\n" ); document.write( "2. (J --> ~L) --> (~M * ~X)\r
\n" ); document.write( "\n" ); document.write( "3. E v (M v X). .·. E \n" ); document.write( "
Algebra.Com's Answer #796244 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "\r\n" );
document.write( "1. ~(J * L)\r\n" );
document.write( "2. (J --> ~L) --> (~M * ~X)\r\n" );
document.write( "3. E v (M v X).                    .·. E\r\n" );
document.write( "\r\n" );
document.write( "4. ~J v ~L          1, DeMorgan's law\r\n" );
document.write( "5. J --> ~L         4, Material Implication\r\n" );
document.write( "6. ~M * ~X          2,5, Modus Ponens\r\n" );
document.write( "7. ~(M v X)         6, DeMorgan's law\r\n" );
document.write( "8. (M v X) v E      3, Commutation\r\n" );
document.write( "9. E                8,7 Disjunctive Syllogism\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );