document.write( "Question 1198250: 1. M>(R&E)
\n" ); document.write( "2. (EvH)>G /M>G \n" ); document.write( "

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

You can put this solution on YOUR website!

\r
\n" );
document.write( "\n" );
document.write( "1.  M --> R&E        Premise
\n" );
document.write( "2.  (EvH) --> G      Premise\r
\n" );
document.write( "\n" );
document.write( "// show M --> G\r
\n" );
document.write( "\n" );
document.write( "3.  ::M              Conditional Proof (CP) assumption #1
\n" );
document.write( "4.  ::R&E            3,1 Modus Ponens (MP)
\n" );
document.write( "5.  ::E              4, Simplification (SIMP)
\n" );
document.write( "6.  ::EvH            5, Addition (ADD) (if E is true, certainly E or H is true)
\n" );
document.write( "7.  ::G              5,2 MP
\n" );
document.write( "8.  ::M-->G          3-7, CP
\n" );
document.write( "9. M-->G             3-8, CP   (discharge CP assumptions)\r
\n" );
document.write( "\n" );
document.write( " \n" );
document.write( "

\n" );