document.write( "Question 1191576: please help me solve this: Construct a proof of the following argument: (L&M) ∨ ¬L, ¬(L&M) →
\n" ); document.write( "¬M ∴ L ↔ M. \n" ); document.write( "

Algebra.Com's Answer #823826 by math_helper(2461) $\"\"$ $\"About$

You can put this solution on YOUR website!


\n" );
document.write( "1. (L & M) v ~L          Premise
\n" );
document.write( "2. ~(L & M) --> ~M       Premise
\n" );
document.write( "// show  L <--> M\r
\n" );
document.write( "\n" );
document.write( "3.  L --> (L & M)        1, Material Implication (MImpl)
\n" );
document.write( "4.  M --> (L & M)        2, Modus Tollens (MT)
\n" );
document.write( "5.  L --> M              3, Simplification (SIMP)
\n" );
document.write( "6.  M --> L              4, SIMP
\n" );
document.write( "7.  L <--> M             5,6 Material Equivalence (MEquiv)\r
\n" );
document.write( "\n" );
document.write( "DONE
\n" );
document.write( " \n" );
document.write( "

\n" );