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