Aristotle - The Organon - index for POSTERIOR ANALYTICS Book 1 Part 26
The difference between negative demonstration and reductio ad impossibile
Since affirmative demonstration is superior to negative, it is clearly superior also to reductio ad impossibile.
The order of the terms is the same in both proofs:
created 1996/11/25 modified 2009/04/26