SOLUTION: Hello, 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 th

Algebra ->  Proofs -> SOLUTION: Hello, 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 th      Log On


   



Question 732042: Hello,
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.
Thank you so much for your help.

Answer by lynnlo(4176) About Me  (Show Source):