Энциклопедический словарь Брокгауза и Ефрона
Противоположно прогрессивному; второе идет от общего к частному, от основания к выводу, первое от частного к общему, от следствия к условиям.
регрессивное доказательство