доказывание от противного
1ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО — косвенное доказательство, при котором истинность тезиса обосновывается не прямо с помощью аргументов, а посредством антитезиса положения, противоречащего тезису. Показывая, что антитезис ложен, мы тем самым обосновываем истинность… …
2Доказательство от противного — (лат. reductio ad absurdum) вид Доказательства, при котором «доказывание» некоторого суждения (тезиса доказательства) осуществляется через опровержение противоречащего ему суждения антитезиса. Опровержение антитезиса при этом достигается… …
3Антитезис — Не следует путать с Антитеза. Антитезис (др. греч. ἀντίθεσις «антитесис»  противоположение; лат. antithesis «антитезис»)  суждение, противопоставляемое тезису. Логика Антитезис в логике и философии  суждение,… …