document.write( "Question 1157556: Use the first eight implication rules to create a proof of the following argument.
\n" ); document.write( "1. B v C
\n" ); document.write( "2. (C ⊃ D) • (D ⊃ F)
\n" ); document.write( "3. (B ⊃ G) • (P ⊃ H) /G v D \n" ); document.write( "
Algebra.Com's Answer #780863 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "\r\n" );
document.write( " 1. B v C\r\n" );
document.write( " 2. (C ⊃ D) • (D ⊃ F)\r\n" );
document.write( " 3. (B ⊃ G) • (P ⊃ H) /G v D \r\n" );
document.write( "\r\n" );
document.write( " 4. B ⊃ G          3, Simplification\r\n" );
document.write( " 5. C ⊃ D          2, Simplification\r\n" );
document.write( " 6. G v D          4,5,1 Constructive Dilemma\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );