document.write( "Question 188804: I cannot solve this: I can use: Transportation, Material Implication, Material Equivalence, Exportation, Tautology, Double Negation, Commutation, Association, Distribution, Demorgan's Theorem, Modus Ponems, Modus Tollens, Hypothetical Syllogism, Conjunstion, Simplification, Addition, Constructive Dilemma, Absorption and Disjuntive Syllogism.\r
\n" ); document.write( "\n" ); document.write( "1. 1.(T -> S) & (B -> D)
\n" ); document.write( " 2. ~S v ~D
\n" ); document.write( " 3. W -> (T & B) Therefore: W -> R \n" ); document.write( "
Algebra.Com's Answer #141604 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "\r\n" );
document.write( "1. (T -> S) & (B -> D)\r\n" );
document.write( "2. ~S v ~D\r\n" );
document.write( "3. W -> (T & B) Therefore: W -> R\r\n" );
document.write( "-----------------------------------\r\n" );
document.write( "4.  (~S -> ~T) & (~D -> ~B)               1    Transposition\r\n" );
document.write( "5.  ~T v ~B                               4,2  Constructive Dilemma\r\n" );
document.write( "6.  ~(T & B)                              5    DeMorgan's Theorem\r\n" );
document.write( "7.  ~W                                    3,6  Modus Tollens\r\n" );
document.write( "8.  ~W v R                                7    Addition\r\n" );
document.write( "9.   W -> R                               8    Material Implication\r\n" );
document.write( "\r\n" );
document.write( "
\r
\n" ); document.write( "
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Note: we can use the same steps to prove W -> any statement (since addition allows us to add any statement) \n" ); document.write( "
\n" );