Question 1191576
<pre>
1. (L & M) v ~L          Premise
2. ~(L & M) --> ~M       Premise
// show  L <--> M

3.  L --> (L & M)        1, Material Implication (MImpl)
4.  M --> (L & M)        2, Modus Tollens (MT)
5.  L --> M              3, Simplification (SIMP)
6.  M --> L              4, SIMP
7.  L <--> M             5,6 Material Equivalence (MEquiv)

DONE