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) (Show Source):