Quote:
Originally Posted by Kuan
Do you recognize proof by reductio ad absurdum?
You would like to prove S. You assume not-S, and if not-S implies a contradiction of the form A and not-A, then S is true.
|
I always get the ad absurdum part. It's the reductio that eludes me.