- Доказательство «от противного» (лат. contradictio in contrarium) в математике — один из самых часто используемых методов доказательства утверждений. Доказательство от противного — вид доказательства, при котором «доказывание» некоторого суждения (тезиса доказательства) осуществляется через опровержение отрицания этого суждения — антитезиса. Этот способ доказательства основывается на истинности закона двойного отрицания в классической логике.
Источник: Wipedia.org
