Return to Revisions

A book on logic whose title and the identity of whose author escape me at the moment said that not all proofs by contradiction are indirect proofs. The idea is that when proving an inherently negative statement---one that asserts non-existence of something---one can proceed only by contradiction, which in that case constitutes a direct proof. I'll see if I can find it.