document.write( "Question 188807: 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( "6. 1. (p v q) -> r
\n" ); document.write( " 2. r -> (s <--> t)
\n" ); document.write( " 3. s -> ~t Therefore: ~p v ~t \n" ); document.write( "
Algebra.Com's Answer #141609 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. (p v q) -> r\r\n" );
document.write( "2. r -> (s <--> t)\r\n" );
document.write( "3. s -> ~t Therefore: ~p v ~t\r\n" );
document.write( "-------------------------------\r\n" );
document.write( "4.  r -> [ (s -> t) & (t -> s) ]                      2  Material Equivalence \r\n" );
document.write( "5.  ~r v [ (s -> t) & (t -> s) ]                      4  Material Implication\r\n" );
document.write( "6.  [~r v (s -> t)] & [~r v (t -> s)]                 5  Distribution\r\n" );
document.write( "7.  [~r v (t -> s)] & [~r v (s -> t)]                 6  Commutation\r\n" );
document.write( "8.  ~r v (t -> s)                                     7  Simplification\r\n" );
document.write( "9.  r -> (t -> s)                                     8  Material Implication\r\n" );
document.write( "10. (r & t) -> s                                      9  Exportation\r\n" );
document.write( "11. (r & t) -> ~t                                  3,10  Hypothetical Syllogism\r\n" );
document.write( "12. r -> (t -> ~t)                                   11  Exportation\r\n" );
document.write( "13. r -> (~t v ~t)                                   12  Material Implication \r\n" );
document.write( "14. r -> ~t                                          13  Tautology\r\n" );
document.write( "15. (p v q) -> ~t                                  1,14  Hypothetical Syllogism\r\n" );
document.write( "16. ~(p v q) v ~t                                    15  Material Implication\r\n" );
document.write( "17. (~p & ~q) v ~t                                   16  DeMorgan's Theorem\r\n" );
document.write( "18. ~t v (~p & ~q)                                   17  Commutation\r\n" );
document.write( "19. (~t v ~p) & (~t v ~q)                            18  Distribution\r\n" );
document.write( "20. ~t v ~p                                          19  Simplification\r\n" );
document.write( "21. ~p v ~t                                          20  Commutation\r\n" );
document.write( "\r\n" );
document.write( "
\n" ); document.write( "
\n" );