SOLUTION: What is the answer to this proof: 1.(E.V) v(M.U)2.~E conclusion /M

Algebra.Com
Question 615204: What is the answer to this proof: 1.(E.V) v(M.U)2.~E conclusion /M
Answer by jim_thompson5910(35256)   (Show Source): You can put this solution on YOUR website!
1.  (E . V) v ( M . U)
2.  ~E                  / M
--------------------------------------
3.  [(E.V)vM] . [(E.V)vU]             1      Distribution
4.  (E.V)vM                           3      Simplification
5.  M v (E.V)                         4      Commutation
6.  (M v E) . (M v V)                 5      Distribution
7.  M v E                             6      Simplification
8.  E v M                             7      Commutation
9.  M                                 8,2    Disjunctive Syllogism


RELATED QUESTIONS

Please help me solve this proof: Premise 1: (E • I) v (M •U) Premise 2: ~E... (answered by jim_thompson5910)
Proof by Natural Deduction – Propositional Logic. Use a direct proof to show that the... (answered by robertb)
can i have help solving this proof please? Construct a regular proof to derive the... (answered by jim_thompson5910)
1. (E & I) v (M & U) Basic Assumption 2. ~ E Basic Assumption / ~ M => ~ U (answered by Solver92311)
1. (J > O) > ~N 2. N v [~N > (E > N)] 3. ~E > [E v (N v ~O)] 4. J > U Conclusion: ~O (answered by Edwin McCravy)
1. (J v F) v M 2. (J v M) ⊃ ~ P 3. ~F/~(F v P) 4. M Assumption... (answered by math_tutor2020)
Construct a proof for the following: 1. ~(J * L) 2. (J --> ~L) --> (~M * ~X) 3.... (answered by Edwin McCravy)
What is the proper way to solve this proof? 1. (T ● K) v (C ● E) 2. K... (answered by Edwin McCravy)
Help! 1. ~M•(Z > R) 2. (~M v G) > ~ U 3. (~M v ~X) > ~B 4. (~B • ~U ) > (E > M)... (answered by Edwin McCravy)