document.write( "Question 1171292: Prove the following:\r
\n" ); document.write( "\n" ); document.write( "1. O --> (H * M)\r
\n" ); document.write( "\n" ); document.write( "2. (O --> G) --> (H --> ~M)\r
\n" ); document.write( "\n" ); document.write( "3. ~G --> (~H v ~M) .·. H --> ~M\r
\n" ); document.write( "\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #796256 by Edwin McCravy(20056)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1.  O --> (H * M)\r\n" );
document.write( "2.  (O --> G) --> (H --> ~M)\r\n" );
document.write( "3.  ~G --> (~H v ~M)                 .·. H --> ~M\r\n" );
document.write( "\r\n" );
document.write( "4.  ~(~H v ~M) --> ~~G         3, Transposition\r\n" );
document.write( "5. (~~H * ~~M) --> ~~G         4, DeMorgan's Law\r\n" );
document.write( "6. (H * M) --> G               5, Double Negation\r\n" );
document.write( "7. O --> G                     1,6, Hypothetical Syllogism \r\n" );
document.write( "8. H --> ~M                    2,7, Modus Ponens\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );