Доведення від супротивного – доведення, в основі якого лежить допущення, що вірним є твердження, протилежне умові.
» Глосарій