Большой словарь иностранных слов
[от гр. вывод] – в формальной логике – косвенное доказательство, когда вывод об истинности положения делается путём опровержения противоречащего ему положения
Апагогическое доказательство