document.write( "Question 924847: I need help deriving the conclusion using the 18 rules of inference.
\n" ); document.write( "1. C>(Dv~E)
\n" ); document.write( "2. E>(D>F) /C>(E>F)
\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #561230 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1.  C -> (D v ~E)\r\n" );
document.write( "2.  E -> (D -> F)\r\n" );
document.write( "/   C -> (E -> F)\r\n" );
document.write( "----------------------------------------------------------------------\r\n" );
document.write( "3.  C -> (~E v D)                  1           Commutation\r\n" );
document.write( "4.  C -> (E -> D)                  3           Material Implication\r\n" );
document.write( "5.  (C * E) -> D                   4           Exportation\r\n" );
document.write( "6.  (E * D) -> F                   2           Exportation\r\n" );
document.write( "7.  (D * E) -> F                   6           Commutation\r\n" );
document.write( "8.  D -> (E -> F)                  7           Exportation\r\n" );
document.write( "9.  (C * E) -> (E -> F)            5,8         Hypothetical Syllogism\r\n" );
document.write( "10. [(C * E) * E] -> F             9           Exportation\r\n" );
document.write( "11. [C * (E * E)] -> F             10          Association\r\n" );
document.write( "12. (C * E) -> F                   11          Tautology\r\n" );
document.write( "13. C -> (E -> F)                  12          Exportation\r\n" );
document.write( "
\r
\n" ); document.write( "
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "==============================================================================================================\r
\n" ); document.write( "
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Let me know if that helps or not. Thanks.\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "If you need more help, feel free to email me at jim_thompson5910@hotmail.com\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "My Website: http://www.freewebs.com/jimthompson5910/home.html
\n" ); document.write( " \n" ); document.write( "
\n" );