document.write( "Question 732042: Hello, \n" );
document.write( "In my assignment I am required to show why the rule of indirect proof is unnecessary. That is: show that if from a sentence p it is possible to derive q and not q, then there will be a way to derive not p without using indirect proof. The assignment also gives a hint, that the derivation will probably involve Conditional Proof. \n" );
document.write( "Thank you so much for your help. \n" );
document.write( "
![\"\"](\"/images/stars/stars-13.gif\")
