document.write( "Question 297361: Please help with this logic proof:\r
\n" ); document.write( "\n" ); document.write( "1. E v T
\n" ); document.write( "2. T -> (B * H)
\n" ); document.write( "3. (B v E) -> K conclusion K \n" ); document.write( "
Algebra.Com's Answer #214146 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1.  E v T\r\n" );
document.write( "2.  T -> (B * H)\r\n" );
document.write( "3.  (B v E) -> K               :. K\r\n" );
document.write( "-----------------------------------\r\n" );
document.write( "4.  ~~E v T                        1     Double Negation\r\n" );
document.write( "5.  ~E -> T                        4     Material Implication\r\n" );
document.write( "6.  ~E -> (B * H)                  5,1   Hypothetical Syllogism   \r\n" );
document.write( "7.  ~~E v (B * H)                  6     Material Implication\r\n" );
document.write( "8.  E v (B * H)                    7     Double Negation\r\n" );
document.write( "9.  (E v B) * (E v H)              8     Distribution\r\n" );
document.write( "10. E v B                          9     Simplification\r\n" );
document.write( "11. B v E                          10    Commutation\r\n" );
document.write( "12. K                              3,11  Modus Ponens\r\n" );
document.write( "

\n" ); document.write( " \n" ); document.write( "
\n" );