Доказательство: различия между версиями

 

Условно можно выделить несколько типов доказательства, связанных как с его методом и структурой, так и с допустимыми источниками.

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

* Косвенное доказательство применяется как метод только в тех случаях, когда речь идёт только о правильности или ложности тезиса в принципе, а не об отсутствии возможности выбора между двумя противоположными тезисами. Тогда можно сделать попытку доказать нечто противоположное данному тезису или, напротив, опровергнуть нечто, применяемое в качестве основания для доказательства последнего.