ostensive reduction
Logic
noun
Reduction by the direct processes of conversion, permutation, and transposition (opposed to indirect reduction).
Origin
Mid 19th century; earliest use found in Richard Whately (1787–1863), Church of Ireland archbishop of Dublin and philosopher.