document.write( "Question 1141036: 1. H ⊃ (B ⊃ ∼M)
\n" ); document.write( "2. T ⊃ (H • M) / T ⊃ ∼B \n" ); document.write( "
Algebra.Com's Answer #761579 by Edwin McCravy(20054)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. H ⊃ (B ⊃ ∼M)\r\n" );
document.write( "2. T ⊃ (H • M)            / T ⊃ ∼B\r\n" );
document.write( "\r\n" );
document.write( "3. T ⊃ H                   2, simplification\r\n" );
document.write( "4. T ⊃ (M • H)             2, commutation\r\n" );
document.write( "5. T ⊃ M                   4, simplification \r\n" );
document.write( "6. T ⊃ (B ⊃ ∼M)           3,1, hypothetical syllogism \r\n" );
document.write( "7. T ⊃ [(B ⊃ ∼M) • M]     6,5, composition\r\n" );
document.write( "8. T ⊃ [(B ⊃ ∼M) • ∼∼M]  7, double negation\r\n" );
document.write( "9. T ⊃ ∼B                 8, modus tollens \r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );