Некоторые настаивают на том, что умозаключение можно считать доказательством от противного (reduction ad absurdum), если следствие гипотезы содержит внутреннее противоречие, а если это просто ошибочное следствие, тогда это умозаключение является рассуждением от противного (modus tollens).