document.write( "Question 1149080: Use an ordinary proof (not conditional or indirect proof):
\n" ); document.write( "
\n" ); document.write( "1. M⊃(R • E)
\n" ); document.write( "2. (E∨H)⊃G / M⊃G \n" ); document.write( "

Algebra.Com's Answer #770512 by math_helper(2461) $\"\"$ $\"About$

You can put this solution on YOUR website!


\n" );
document.write( "1.  M⊃(R • E)	  Premise
\n" );
document.write( "2.  (E∨H)⊃G       Premise  
\n" );
document.write( "// Prove  M⊃G\r
\n" );
document.write( "\n" );
document.write( "3.   M ⊃ E        1, Simplification (SIMP)
\n" );
document.write( "4.   M ⊃(E v H)   3, Addition (ADD)
\n" );
document.write( "5.   M ⊃ G        4,2 Hypothetical Syllogism (HS)  \r
\n" );
document.write( "
\n" );
document.write( "
\n" );
document.write( "\n" );
document.write( " \n" );
document.write( "

\n" );