SOLUTION: Please help me solve this proof: Premise 1: (E � I) v (M �U) Premise 2: ~E Conclusion: ~(E v ~M)

SOLUTION: Please help me solve this proof: Premise 1: (E � I) v (M �U) Premise 2: ~E Conclusion: ~(E v ~M)

Algebra.Com

Question 986768: Please help me solve this proof:
Premise 1: (E � I) v (M �U)
Premise 2: ~E
Conclusion: ~(E v ~M)
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!

Number	Statement	Lines Used	Reason
1	(E * I) v (M * U)
2	~E
:.	~(E v ~M)
3	[(E * I) v M] * [(E * I) v U]	1	Distribution
4	(E * I) v M	3	Simplification
5	M v (E * I)	4	Commutation
6	(M v E) * (M v I)	5	Distribution
7	M v E	6	Simplification
8	E v M	7	Commutation
9	M	8,2	Disjunctive Syllogism
10	~E * M	2,9	Conjunction
11	~(~~E v ~M)	10	De Morgan's Law
12	~(E v ~M)	11	Double Negation

RELATED QUESTIONS
Proof by Natural Deduction � Propositional Logic. Use a direct proof to show that the... (answered by robertb)

Please help me solve this using indirect proofs! (I can't get it go anywhere it seems!)... (answered by jim_thompson5910)

Give a proof of the following argument: 1 (1) A --> (B & ~K) Premise 2 (2) (B (answered by jim_thompson5910)

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

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. (E & I) v (M & U) Basic Assumption 2. ~ E Basic Assumption / ~ M => ~ U (answered by Solver92311)

Can you please assist me with these problems? We are using the Rules of Inference and the (answered by jim_thompson5910)

Solve the given proof for L. Include the rule and premise(s) from which each step was... (answered by jim_thompson5910)

can i have help solving this proof please? Construct a regular proof to derive the... (answered by jim_thompson5910)