document.write( "Question 298840: 1. ~J v ~L
\n" ); document.write( "2. ~(J * L) -> ~M
\n" ); document.write( "3. ~E v (M v ~S) / ~(S * E) \n" ); document.write( "

Algebra.Com's Answer #214916 by jim_thompson5910(35256) $\"\"$ $\"About$

You can put this solution on YOUR website!
Here it helps to fully know the 19 rules of inference.
\n" ); document.write( "

\r\n" );
document.write( "1.  ~J v ~L\r\n" );
document.write( "2.  ~(J * L) -> ~M\r\n" );
document.write( "3.  ~E v (M v ~S)           /  ~(S * E) \r\n" );
document.write( "-----------------------------------------\r\n" );
document.write( "4.  ~(J * L)                          1     De Morgan's Law\r\n" );
document.write( "5.  ~M                                2,4   Modus Ponens\r\n" );
document.write( "6.  (~E v M) v ~S                     3     Association\r\n" );
document.write( "7.  (M v ~E) v ~S                     6     Commutation\r\n" );
document.write( "8.  M v (~E v ~S)                     7     Association \r\n" );
document.write( "9.  ~~M v (~E v ~S)                   8     Double Negation\r\n" );
document.write( "10. ~M -> (~E v ~S)                   8     Material Implication\r\n" );
document.write( "11. ~E v ~S                           10,5  Modus Ponens\r\n" );
document.write( "12. ~S v ~E                           11    Commutation\r\n" );
document.write( "13. ~(S * E)                          11    De Morgan's Law\r\n" );
document.write( "

\n" ); document.write( "

\n" );