Доказательство от противного (лат. reductio ad absurdum), вид доказательства, при котором «доказывание» некоторого суждения (тезиса доказательства) осуществляется через опровержение противоречащего ему суждения — антитезиса. Опровержение антитезиса при этом достигается установлением факта его несовместимости с каким-либо заведомо истинным суждением. Этой форме Д. от п. соответствует следующая схема доказательства: если В истинно и из А следует ложность В, то А — ложно. Другая, более общая форма Д. от п. — это доказательство путём опровержения (обоснования ложности) антитезиса по правилу: допустив А, мы вывели противоречие, следовательно — не-А. Здесь А может быть как утвердительным, так и отрицательным суждением, а вывод противоречия может пониматься либо как вывод утверждения о тождестве заведомо различных предметов, либо как вывод пары суждений В, не-В, либо как вывод конъюнкции этой пары, либо как вывод эквивалентности этой пары. Этим различным случаям соответствуют различные интерпретации понятий Д. от п. и «противоречие». Приём Д. от п. особенно важен в математике: многие отрицательные суждения математики не могут быть доказаны другим путём, кроме приведения к противоречию. Помимо указанных выше, существует иная — «парадоксальная» — форма Д. от п., применявшаяся уже в «Началах» Евклида: суждение А можно считать доказанным, если удастся показать, что А следует даже из допущения ложности А.
М. М. Новосёлов.
Большая Советская Энциклопедия М.: "Советская энциклопедия", 1969-1978
Докембрий Докембрий, древнейшие толщи земной коры и время, соответствующее их образованию и составляющее около 6/7 геологической истории Земли. Геологическая история Д. долго оставалась непознанно...
Докембрийские эпохи складчатости Докембрийские эпохи складчатости, эпохи повышенной тектоно-магматической активности, проявившиеся в течение докембрийской истории Земли. Охватывали интервал времени от 570 до 3500 млн. л...
«Доклады Академии Наук СССР» «Доклады Академии наук СССР» (ДАН), научный журнал, предназначенный для помещения первых публикаций о наиболее существенных результатах научных исследований в области физико-математическ...