noun
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. also indirect proof : a reductio ad absurdum