document.write( "Question 1194044: CREATE A PROOF FOLLOWING THE ARGUMENT\r
\n" ); document.write( "\n" ); document.write( "K ∨ L
\n" ); document.write( "(K ⊃ F) • (R ⊃ S)
\n" ); document.write( "(N ⊃ K) • (L ⊃ C) /F V C
\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #826258 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "1.  K ∨ L\r\n" );
document.write( "2.  (K ⊃ F) • (R ⊃ S)\r\n" );
document.write( "3.  (N ⊃ K) • (L ⊃ C)     /F V C\r\n" );
document.write( "\r\n" );
document.write( "4.  K ⊃ F                2, simp.\r\n" );
document.write( "5. (L ⊃ C) • (N ⊃ K)     3, comm.\r\n" );
document.write( "6. L ⊃ C                 5, simp.\r\n" );
document.write( "7. (K ⊃ F) • (L ⊃ C)     4, conj.\r\n" );
document.write( "8. F V C                 7,1, CD  (constructive dilemma)\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );