document.write( "Question 199553: If you could help me with the problem I would really appreciate it. I finished it in 19 lines but i think I did a few steps wrong. \r
\n" ); document.write( "\n" ); document.write( "1. B=W
\n" ); document.write( "2. L>B
\n" ); document.write( "3. ~Bv~W /~(WvL) \n" ); document.write( "

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

You can put this solution on YOUR website!
Note: I'm going to use \"<->\" for \"if and only if\" and \"*\" for \"and\"\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "

\r\n" );
document.write( "1.   B <-> W\r\n" );
document.write( "2.   L -> B\r\n" );
document.write( "3.   ~B v ~W           :.  ~(W v L)\r\n" );
document.write( "-----------------------------------\r\n" );
document.write( "4.   (B -> W) * (W -> B)             1      Material Equivalence\r\n" );
document.write( "5.   (W -> B) * (B -> W)             4      Commutation\r\n" );
document.write( "6.   B -> W                          4      Simplification\r\n" );
document.write( "7.   W -> B                          5      Simplification\r\n" );
document.write( "8.   B -> ~W                         3      Material Implication\r\n" );
document.write( "9.   W -> ~W                       7,8      Hypothetical Syllogism\r\n" );
document.write( "10.   ~W v ~W                        9      Material Implication\r\n" );
document.write( "11.  ~W                             10      Tautology\r\n" );
document.write( "12.  ~B                           6,11      Modus Tollens\r\n" );
document.write( "13.  ~L                           2,12      Modus Tollens\r\n" );
document.write( "14.  ~W * ~L                     11,13      Conjunction \r\n" );
document.write( "15.  ~(W v L)                       14      De Morgan's Law\r\n" );
document.write( "

\r
\n" ); document.write( "
\n" ); document.write( "
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( " \n" ); document.write( "

\n" );