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

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): You can put this solution on YOUR website!

RELATED QUESTIONS
A student tried to trisect an angle G using the following procedure: 1. Mark off GA... (answered by Edwin McCravy)

A student tried to trisect an angle G using the following procedure: 1. Mark off GA... (answered by CPhill)

A student tried to trisect an angle G using the following procedure: 1. Mark off GA... (answered by CPhill,Edwin McCravy)

My homework assignment is to write an indirect proof with the answer 1.5. How can I do... (answered by stanbon)

1. (E→~K) 2. (M∨(~K.~H)) 3. (~M∨E) .: ~K Construct a proof to show that the... (answered by Edwin McCravy)

Hello- I don't know why this is throwing me, but I am not getting the answer that is on... (answered by richwmiller,lwsshak3)

3. I have literally hundreds of questions. I am submitting only a few for help because... (answered by nerdybill)

Hello... I am having some trouble with a proof. I am to use: (a + bi)(a - bi)... (answered by ichudov)