Definition of indirect reduction
1
: the process of reducing a syllogistic argument to the first figure by taking the contradictory of the conclusion as a premise and getting the contradictory of one premise as the new conclusion
—contrasted with direct reduction
2
or less commonly
indirect proof
: a reductio ad absurdum
