document.write( "Question 1029802: Use an ordinary proof to show the conclusion can be derived from the premises.\r
\n" ); document.write( "\n" ); document.write( "1. K ⊃ L\r
\n" ); document.write( "\n" ); document.write( "2. ~K v F\r
\n" ); document.write( "\n" ); document.write( "3.(L • F) ⊃ A\r
\n" ); document.write( "\n" ); document.write( "4. ~A /~K \n" ); document.write( "
Algebra.Com's Answer #644743 by Edwin McCravy(20056)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( " 1. K ⊃ L \r\n" );
document.write( " 2. ~K v 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 v L                  1, Material Implication\r\n" );
document.write( " 8. (~K v L) • (~K v F)     7,2 Conjunction of premises\r\n" );
document.write( " 9. ~K v (L • F)            8, Distribution\r\n" );
document.write( "10. (L • F) v ~K            9, Commutation\r\n" );
document.write( "11. ~K                     10,6 Disjunctive Syllogism\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );