Доказательство от противного
- Доказательство от противного
-
вид
Доказательства, при котором «доказывание» некоторого суждения (тезиса доказательства) осуществляется через опровержение противоречащего ему суждения — антитезиса. Опровержение антитезиса при этом достигается установлением факта его несовместимости с каким-либо заведомо истинным суждением. Этой форме Д. от п. соответствует следующая схема доказательства: если
В истинно и из
А следует ложность
В, то
А — ложно. Другая, более общая форма Д. от п. — это доказательство путём опровержения (обоснования ложности) антитезиса по правилу: допустив
А, мы вывели противоречие, следовательно — не-
А. Здесь
А может быть как утвердительным, так и отрицательным суждением, а вывод противоречия может пониматься либо как вывод утверждения о тождестве заведомо различных предметов, либо как вывод пары суждений
В, не-
В, либо как вывод конъюнкции этой пары, либо как вывод эквивалентности этой пары. Этим различным случаям соответствуют различные интерпретации понятий Д. от п. и «противоречие». Приём Д. от п. особенно важен в математике: многие отрицательные суждения математики не могут быть доказаны другим путём, кроме приведения к противоречию. Помимо указанных выше, существует иная — «парадоксальная» — форма Д. от п., применявшаяся уже в «Началах» Евклида: суждение
А можно считать доказанным, если удастся показать, что
А следует даже из допущения ложности
А.
М. М. Новосёлов.
Большая советская энциклопедия. — М.: Советская энциклопедия.
1969—1978.
Смотреть что такое "Доказательство от противного" в других словарях:
ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО — косвенное доказательство, при котором истинность тезиса обосновывается не прямо с помощью аргументов, а посредством антитезиса положения, противоречащего тезису. Показывая, что антитезис ложен, мы тем самым обосновываем истинность… … Философская энциклопедия
ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО — (proof by contradiction) Доказательство, при котором признание исходной предпосылки неверной ведет к противоречию. То есть предположение об ошибочности исходной посылки позволяет одновременно и доказать какое либо утверждение, и опровергнуть его; … Экономический словарь
ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО — один из видов косвенного доказательства … Большой Энциклопедический словарь
Доказательство от противного — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете … Википедия
доказательство от противного — один из видов косвенного доказательства. * * * ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО, один из видов косвенного доказательства (см. КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО) … Энциклопедический словарь
Доказательство от противного — (лат. reduction ad absurdum) вид доказательства, при котором справедливость некоторого суждения (тезиса доказательства) осуществляется через опровержение противоречащего ему суждения антитезиса. Опровержение антитезиса достигается путем… … Исследовательская деятельность. Словарь
ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО — (лат. reductio ad absurdum) вид доказательства, при котором справедливость некоторого суждения (тезиса доказательства) осуществляется через опровержение противоречащего ему суждения антитезиса. Опровержение антитезиса достигается путем… … Профессиональное образование. Словарь
доказательство от противного — см.: Косвенное доказательство … Словарь терминов логики
ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО — один из видов косвенного доказательства … Естествознание. Энциклопедический словарь
Доказательство от противного — см. Абсурд1 … Философский словарь Спонвиля