document.write( "Question 1142475: Use natural deduction to derive the conclusion in each problem.\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Use an ordinary proof (not conditional or indirect proof):
\n" ); document.write( "
\n" ); document.write( "1. K ⊃ L
\n" ); document.write( "2. ∼K ∨ F
\n" ); document.write( "3. (L • F) ⊃ A
\n" ); document.write( "4. ∼A / ∼K \n" ); document.write( "
Algebra.Com's Answer #763330 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( " 1.	K ⊃ L	 \r\n" );
document.write( " 2.	∼K ∨ F	 \r\n" );
document.write( " 3.	(L • F) ⊃ A	 \r\n" );
document.write( " 4.	∼A	      / ∼K\r\n" );
document.write( "\r\n" );
document.write( " 5.     ~A ⊃ ~(L • F)          3, transposition \r\n" );
document.write( " 6.     ~(L • F)               5,4, modus ponens\r\n" );
document.write( " 7.     K ⊃ F                  2, material implication\r\n" );
document.write( " 9.     K ⊃ (L • F)            1,7, composition \r\n" );
document.write( "10.     ~K                     9,6, modus tollens \r\n" );
document.write( "\r\n" );
document.write( "Edwin
\r
\n" ); document.write( "\n" ); document.write( " \n" ); document.write( "
\n" );