Question 293877
<pre>
1.  E -> (S -> T)
2.  (~L & M) -> (S & E)
3.  ~(T v L) 
Therefore, ~M
-------------------------------------------------------
4.  (E & S) -> T                         1         Exp
5.  (~L & M) -> T                        2,4       HS
6.  ~T & ~L                              3         DM
7.  ~L & ~T                              6         Comm
8.  ~T                                   6         Simp
9.  ~L                                   7         Simp
10. ~(~L & M)                            5,8       MT
11. ~~L v ~M                             10        DM
12. ~M                                   11,9      DS
</pre>



Abbreviations/Acronyms Used:


Comm = Commutation
DM = De Morgan's Law
DS = Disjunctive Syllogism
Exp = Exportation
HS = Hypothetical Syllogism
MT = Modus Tollens
Simp = Simplification