document.write( "Question 929849: 1. A -> (D -> E)
\n" ); document.write( "2. F -> [(A & B) v (A & ~B)]
\n" ); document.write( "concl: (F & D) -> E\r
\n" ); document.write( "\n" ); document.write( "Professor says it is 11 lines w/ CP.\r
\n" ); document.write( "\n" ); document.write( "HELP ME. \r
\n" ); document.write( "\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #564566 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( " 1. A -> (D -> E)\r\n" );
document.write( " 2. F -> [(A & B) v (A & ~B)]\r\n" );
document.write( " concl: (F & D) -> E\r\n" );
document.write( "\r\n" );
document.write( " 3.  F -> [A & (Bv~B)]   2,DL     (distributive law, \"take out A & \"\r\n" );
document.write( " 4.  F -> A              3,CT     (conjunction with a tautology Bv~B)\r\n" );
document.write( " 5.  F -> (D -> E)       1,4,HS   (hypothetical syllogism)\r\n" );
document.write( " 6.  ~F v (D -> E)       5,CD     (conditional to disjunction)\r\n" );
document.write( " 7.  -F v (~D v E)       6,CD     (conditional to disjunction)\r\n" );
document.write( " 8.  (~F v ~D) v E       7,       (associative law)\r\n" );
document.write( " 9.  ~(F & D) v E        8,DM     (deMorgan's law)          \r\n" );
document.write( "10.  (F & D) -> F        9,CD     (disjunction to conditional)\r\n" );
document.write( "\r\n" );
document.write( "I did it in 10 lines.\r\n" );
document.write( "Have you studied \"conditional to disjunction\" and its\r\n" );
document.write( "reverse \"disjunction to conditional)? Is that what you\r\n" );
document.write( "label \"CP\"?  [Some books label differently]. \r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );