document.write( "Question 986768: Please help me solve this proof:\r
\n" ); document.write( "\n" ); document.write( "Premise 1: (E • I) v (M •U)
\n" ); document.write( "Premise 2: ~E
\n" ); document.write( "Conclusion: ~(E v ~M) \n" ); document.write( "

Algebra.Com's Answer #607588 by jim_thompson5910(35256) $\"\"$ $\"About$

You can put this solution on YOUR website!
\n" ); document.write( "\n" ); document.write( "

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

\n" ); document.write( "

\n" );