(( гр. apagogos отводящий) в формальной логике - косвенное доказательство, когда вывод об истинности положения делается путем опровержения противоречащего ему положения, то же, что доказательство от противного.