SOLUTION: Could you please help me solve the following proof? I have worked a few lines after the conclusion but am stuck after that. 1. E>(S>T) 2. (~L*M) > (S*E) 3. ~(TvL) // ~

Algebra.Com
Question 607200: Could you please help me solve the following proof? I have worked a few lines after the conclusion but am stuck after that.
1. E>(S>T)
2. (~L*M) > (S*E)
3. ~(TvL) // ~M
4. (E*S) >T 1. Exportation
5. ~T*~L 3. DeMorgans
6. ~T 5. Simplification
7. ~(E*S) 4,6 Modus Tollens
Key: > equals wedge
* equals dot
Answer by jim_thompson5910(35256)   (Show Source): You can put this solution on YOUR website!
1.  E > (S > T)
2.  (~L * M) > (S * E)
3.  ~(T v L)                    // ~M
-------------------------------------------------------
4.   (E * S) >T
5.   ~T * ~L
6.   ~T
7.   ~(E * S)
8.   ~(S * E)                    7       Commutation
9.   ~(~L * M)                   2,8     Modus Tollens
10.  ~~L v ~M                    9       De Morgan's Law
11.  L v ~M                      10      Double Negation
12.  ~L * ~T                     5       Commutation
13.  ~L                          12      Simplification
14.  ~M                          11,13   Disjunctive Syllogism

RELATED QUESTIONS

Could you please help me with this Calculus problem? I am finding this problem hard to... (answered by math_helper,ikleyn,greenestamps)
(G&H)>(J<>L) G<>H (H&~L)v(H&K) Conclusion: J>K Can somebody please help me with... (answered by Edwin McCravy)
I am trying to work a problem that my teacher gave me on a worksheet. We have worked... (answered by Earlsdon)
Hi there, I'm stuck on how to FOIL this problem and have tried it a few different times. (answered by MathLover1)
-6(4-3x)-18+4 TRIED -(6)x4 -6(3x) - 18 + 4x -24 + 18x - 18 +4x now lost I am just (answered by longjonsilver)
Hello I am really stuck on this algebra word problem. Please assist me in solving this... (answered by texttutoring)
Hi, I was only given the assumption of ~B and then told to construct a proof with the... (answered by jim_thompson5910)
Hello. I am having serious difficulties with the following problem; I must have tried... (answered by Alan3354)
Give a proof of the following argument: 1 (1) A --> (B & ~K) Premise 2 (2) (B (answered by jim_thompson5910)