document.write( "Question 188876: I am stuck, I do not know how to finish this. \r
\n" ); document.write( "\n" ); document.write( "1. (LvM).(Lv~S)
\n" ); document.write( "2. A->~L
\n" ); document.write( "3. A->(~MvS) :. ~A
\n" ); document.write( "|4. ~A assume
\n" ); document.write( "||5. ~MvS assume
\n" ); document.write( "||6. LvM 1, simp
\n" ); document.write( "||7. Lv~S 1, simp
\n" ); document.write( "||8. ~~(A->~L) 2, DN \n" ); document.write( "

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

You can put this solution on YOUR website!
Here's one way to do it:\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "

\r\n" );
document.write( "1. (L v M) & (L v ~S)\r\n" );
document.write( "2. A -> ~L\r\n" );
document.write( "3. A -> (~M v S)  :.  ~A\r\n" );
document.write( "-------------------------\r\n" );
document.write( "4.  L v (M & ~S)              1    Distribution\r\n" );
document.write( "5.  ~~L v (M & ~S)            4    Double Negation\r\n" );
document.write( "6.  ~L -> (M & ~S)            5    Material Implication\r\n" );
document.write( "7.  A -> (M & ~S)           2,6    Hypothetical Syllogism\r\n" );
document.write( "8.  A -> (~M v ~~S)           3    Double Negation\r\n" );
document.write( "9.  A -> ~(M & ~S)            8    De Morgan's Law\r\n" );
document.write( "10. ~~(M & ~S) -> ~A          9    Transposition\r\n" );
document.write( "11. (M & ~S) -> ~A           10    Double Negation\r\n" );
document.write( "12. A -> ~A                7,11    Hypothetical Syllogism\r\n" );
document.write( "13. ~A v ~A                  12    Material Implication\r\n" );
document.write( "14. ~A                       13    Tautology\r\n" );
document.write( "

\n" ); document.write( "

\n" );