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

Click here to see ALL problems on Proofs

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