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