лат. reductio ad absurdum) - вид доказательства, при котором справедливость некоторого суждения (тезиса доказательства) осуществляется через опровержение противоречащего ему суждения - антитезиса. Опровержение антитезиса достигается путем установления его несовместимости с заведомо истинным суждением. Часто доказательство от противного опирается на двузначности принцип.
Отличное определение
Неполное определение ↓
ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО
обоснование суждения путем опровержения методом "приведения к нелепости" (reductio ad absurdum) нек-рого другого суждения, – именно того, к-рое является отрицанием обосновываемого (Д. от п. 1-го вида) или того, отрицанием к-рого является обосновываемое (Д. от п. 2-го вида); "приведение к нелепости" состоит в том, что из опровергаемого суждения выводится к.-л. явно ложное заключение (напр., формальнологическое противоречие), что и свидетельствует о ложности этого суждения. Необходимость различения двух видов Д. от п. вытекает из того, что в одном из них (именно, в Д. от п. 1-го вида) имеет место логический переход от двойного отрицания суждения к утверждению этого суждения (т.е. применяется т.н. правило снятия двойного отрицания, разрешающее переход от A к А, см. Двойного отрицания законы), в то время как в другом такого перехода нет. Ход рассуждения в Д. от п. 1-го вида: требуется доказать суждение А; в целях доказательства предполагаем, что суждение А неверно, т.е. что верно его отрицание: ? (не-А), и, опираясь на это предположение, логически выводим к.-л. ложное суждение, напр. противоречие, – осуществляем "приведение к нелепости" суждения А; это свидетельствует о ложности нашего предположения, т.е. доказывает, истинность двойного отрицания: A; применение к A правила снятия двойного отрицания завершает доказательство суждения А. Ход рассуждения в Д. от п. 2-го вида: требуется доказать суждение?; в целях доказательства предполагаем верным суждение А и приводим это предположение к нелепости; на этом основании заключаем, что А ложно, т.е. что верно?. Различение двух видов Д. от п. важно потому, что в так называемой интуиционистской (конструктивной) логике закон снятия двойного отрицания не имеет места, в силу чего не допускаются и Д. от п., существенно связанные с применением этого логического закона. См. также Косвенное доказательство. Лит.: Тарский?., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Асмус В. Ф., Учение логики о доказательстве и опровержении, [М.], 1954; Клини С. К., Введение в метаматематику, пер. с англ., М., 1957; Черч?., Введение в математич. логику, пер. с англ., [т.] 1, М., 1960.
Урок можно начать с рассказа учителя.
Ващенко Н.М., на уроке
В Древней Греции всех ораторов учили геометрии. На дверях школы было написано: «Не знающий геометрии, да не войдет сюда». Почему? Да потому, что геометрия учит доказывать. А речь человека убедительна только тогда, когда он доказывает свои выводы. В своих рассуждениях люди часто пользуются способом доказательства, который называется "от противного".
Приведем примеры таких доказательств.
Пример 1. Разведчики получили задание: выяснить, находится ли в данном селе танковая колонна противника. Командир разведки докладывает: если бы в селе была танковая колонна, го тогда бы были следы гусениц, а их мы не обнаружили.
Схема рассуждений. Требуется доказать: нет колонны. Предположим, есть колонна. Тогда должны быть следы. Противоречие - следов нет. Вывод: предположение неверно, значит, танковой колонны нет.
Пример 2. Врач после осмотра больного ребенка говорит:
«У ребенка нет кори. Если бы у него была корь, то тогда была бы сыпь на теле, но сыпи нет».
Рассуждения врача тоже выполнялись по указанной выше схеме.
Задается вопрос: «В чем же сущность способа доказательства от противного?»- и вывешивается таблица (табл. 5).
Способом от противного можно решить уже известные до этого задачи.
1. Дано: а||b, прямые с и а пересекаются. Докажите: прямые с и b пересекаются.
Доказательство.
1) Предположим, что b||с.
2) Тогда получается, что через точку О (точка пересечения прямых а и с) проходят две различные прямые а и b, которые параллельны прямой b.
3) Это противоречит аксиоме параллельных прямых.
Вывод : значит, наше предположение неверно, а верно то, что и требовалось доказать, т. е. что прямые бис пересекаются.
2. Дано: A, В, С - точки прямой а, АВ = 5 см, АС = 2 см, ВС = 7 см. Докажите:
Доказательство.
1) Предположим, что точка С лежит между точками А и В.
2) Тогда по аксиоме измерения отрезков АВ = АС + СВА
3) Это противоречит условию: АВ = АС + СВ, так как АВ = 5 см, АС+ С5 = 9 см.
Вывод: точка С не лежит между точками А и В.
3. Дано: АВ - полупрямая, С АВ, АС < АВ. Докажите:
Доказательство.
1) Предположим, что точка В лежит между точками А и С.
2) Тогда по аксиоме измерения отрезков АВ + ВС = АС, т. е. AB 3) Это противоречит условию задачи: АС<АВ. Вывод:
точка В не лежит между точками А и С. Решение задач оформляется в тетрадях. Для усвоения учащимися сущности способа доказательства от противного, а также с целью экономии времени при решении задач можно использовать карточки-подсказки, которые сделаны из плотной бумаги и вставлены в полиэтиленовые мешочки. Ученик должен на полиэтиленовой пленке заполнить пропущенные места. Записи на пленке легко стираются, и поэтому карточки можно использовать неоднократно. Карточка имеет вид:
Предположим противоположное тому, что требуется доказать, т.е. Из предположения следует, что (на основании …… Получаем противоречие с. Значит, наше предположение неверно, а верно то, что требовалось доказать, т.е. Задание на дом:
п. «Доказательство от противного» § 2 до слов: «Поясним это...». 1. Докажите, что если MN = 8 м, МК = 5 м, NK- 10 м, то точки М, N и К не лежат на одной прямой. 2. Докажите, что если <(ab) = 100°, <(be) - 120°, то луч с не проходит между сторонами угла (ab). 3. Докажите теорему 1.1 способом от противного. Ложен, мы тем самым обосновываем истинность противоположного ему положения - тезиса. Напр., врач, убеждая пациента в том, что тот не болен гриппом, может рассуждать следующим образом: «Если бы вы действительно были больны гриппом, то у вас была бы повышена температура, был заложен нос и т.д. Но ничего этого нет. Следовательно, нет и гриппа». Доказательство некоторого положения от противного - это истинности данного положения, опирающееся на демонстрацию ложности «противного» (противоречащего) положения и исключенного третьего.
Философия: Энциклопедический словарь. - М.: Гардарики
.
Под редакцией А.А. Ивина
.
2004
. (лат.
reduc-tio ad absurdum)
, вид доказательства, при кром «доказывание» некоторого суждения (тезиса доказательства)
осуществляется через противоречащего ему суждения - антитезиса. Опровержение антитезиса при этом достигается установлением факта его несовместимости с к.-л.
заведомо истинным суждением. Этой форме Д. от п. соответствует след.
схема доказательства: если В истинно и из А следует ложность В, то А - ложно. Другая, более общая Д. от п. - это путём опровержения (обоснования ложности)
антитезиса по правилу: допустив А, вывели , следовательно - не-А. Здесь А может быть как утвердительным, так и отрицательным суждением. В последнем случае Д. от п. опирается на и закон двойного отрицания. Помимо указанных выше, существует «парадоксальная» форма Д. от п., применявшаяся уже в «Началах» Евклида: А можно считать доказанным, если удастся показать, что А следует даже из допущения ложности А. Философский энциклопедический словарь. - М.: Советская энциклопедия
.
Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов
.
1983
. ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО
Лит.:
Тарский Α., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Асмус В. Ф., Учение логики о доказательстве и опровержении, [М.], 1954; Клини С. К., Введение в метаматематику, пер. с англ., М., 1957; Чёрч Α., Введение в математич. логику, пер. с англ., [т.] 1, М., 1960. Философская Энциклопедия. В 5-х т. - М.: Советская энциклопедия
.
Под редакцией Ф. В. Константинова
.
1960-1970
. - (proof by contradiction) Доказательство, при котором признание исходной предпосылки неверной ведет к противоречию. То есть предположение об ошибочности исходной посылки позволяет одновременно и доказать какое либо утверждение, и опровергнуть его; … Экономический словарь
Один из видов косвенного доказательства … Большой Энциклопедический словарь
В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете … Википедия
Один из видов косвенного доказательства. * * * ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО, один из видов косвенного доказательства (см. КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО) … Энциклопедический словарь
Доказательство от противного
- (лат. reduction ad absurdum) вид доказательства, при котором справедливость некоторого суждения (тезиса доказательства) осуществляется через опровержение противоречащего ему суждения антитезиса. Опровержение антитезиса достигается путем… … Исследовательская деятельность. Словарь
ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО
- (лат. reductio ad absurdum) вид доказательства, при котором справедливость некоторого суждения (тезиса доказательства) осуществляется через опровержение противоречащего ему суждения антитезиса. Опровержение антитезиса достигается путем… … Профессиональное образование. Словарь
См.: Косвенное доказательство … Словарь терминов логики
- (лат. reductio ad absurdum) вид Доказательства, при котором «доказывание» некоторого суждения (тезиса доказательства) осуществляется через опровержение противоречащего ему суждения антитезиса. Опровержение антитезиса при этом достигается… … Большая советская энциклопедия
Что такое метод доказательства «от противного»? Суть метода доказательства от противного заключается в два этапах. Первое в доказательстве СУЩЕСТВОВАНИЯ самого доказательства и второе в доказательстве ЕДИНСТВЕННОСТИ доказания. Коряво описал, но хотел сказать следующее. При доказательстве теорем таким методом нужно показать, что существует решение данной задачи или теоремы, а затем доказать, что это решение будет единственное. Это не единственный метод применяемый в доказательстве теорем, но как математический и логический инструмент небезынтересный. Метод доказательства от противного используется не только в математике, хотя там и получил довольно широкое распространение в качестве инструмента доказательства отдельных задач и теорем. На самом деле это логический метод доказательства любых утверждений, который может быть применен в любой области знаний. Даже в гуманитарных и социальных науках. Просто, в технических науках мы имеем дело с цифрами, а многих людей убеждает как раз наличие этих значков, а в мире логики мы оперируем умозаключениями, которые никогда не могут считаться абсолютной истиной. Этот метод доказательства мы изучали в школе в средних классах, когда берется за основу какое-то утверждение, которое никак не доказать, вместо этого берут прямо противоположное ему утверждение, доказывают, что оно неверно-следовательно, то, что нам не доказать, верно, и это единственное верное решение данного вопроса. В жизни мы говорим о чем-то, доказать не можем, но приводим пример противоположный и доказываем, что он неверен: из тайника украли деньги, знали о нем Вася и Петя, но у Пети алиби-он уехал на дачу на всю неделю, значит, деньги украл Вася. Методом доказательства от противного называется способ при котором недоказуемая истина, становится истиной, только лишь потому что иное всегда не правильно - а это как раз то и доказуемо. Соответственно, в результате этого метода, пусть и косвенно, но мы доказали недоказуемую истину Данный закон основывается на законе двойного отрицания если не верно А, то А верно. К примеру у вас как вы думаете язва. Ваш врач для того что бы опровергнуть это суждение, доказывает вам опровергая то в чем вы уверенны, то есть ваше утверждение и говорит, что у вас нет язвы так как гастроскопия показало что в полости желудка нет повреждений, вы не теряете вес и можете есть все что захотите. Стандартный прием, например, в математике. Нужно доказать утверждение А. А это трудно. Тогда берут прямо противоположное утверждение В, и доказывают, что оно неверно. Отсюда следует, что А - истинно. То же и в жизни. Простой пример: некто говорит: Мистер Х - вор. Его оппонент: Но как это доказать? Первый: Предположим, что он - честный человек. Второй: Да это же курам насмех!. Первый: Вот мы и доказали, что Х - вор :))) Метод от противного
Апагогия
- логический приём, которым доказывается несостоятельность какого-нибудь мнения таким образом, что или в нём самом, или же в необходимо из него вытекающих следствиях мы открываем противоречие . Поэтому апогогическое доказательство является доказательством косвенным: здесь доказывающий обращается сперва к противоположному положению, чтобы показать его несостоятельность, и затем по закону исключения третьего делает вывод о справедливости того, что требовалось доказать. Этот род доказательства называется также приведением к нелепости. Существенною его принадлежностью является довод, что третье не существует, т. е., что кроме мнения, справедливость которого нужно доказать, и второго, ему противоположного, которое служит исходным пунктом доказательства, никакой третий факт не допускается. Поэтому косвенное доказательство исходит из факта, отрицающее положение, справедливость которого требуется доказать. Wikimedia Foundation
.
2010
.
В математике, метод бесконечного спуска это метод доказательства от противного, основанный на том, что множество натуральных чисел вполне упорядочено. Часто метод бесконечного спуска используется для доказательства того, что у некоторого… … Википедия
Метод доказательства, применявшийся математиками древности при нахождении площадей и объёмов. Название «метод исчерпывания» введено в 17 в. Типичная схема доказательства при помощи И. м. может быть изложена в современных… … Большая советская энциклопедия
Метод доказательства, применявшийся математиками древности при нахождении площадей и объемов. Назв. метод исчерпывания введено в 17 в. Типичная схема доказательства при помощи И. м. может быть изложена в современных обозначениях так: для… … Математическая энциклопедия
В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете … Википедия
- ’БЫТИЕ И ВРЕМЯ’ (‘Sein und Zeit’, 1927) основная работа Хайдеггера. На создание ‘Б.иВ.’, как традиционно полагается, повлияли две книги: работа Брентано ‘Значение бытия согласно Аристотелю’ и ‘Логические исследования’ Гуссерля. Первая из них… … История Философии: Энциклопедия
- (от позднелат. intuitio, от лат. intueor пристально смотрю) направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика … Философская энциклопедия
Математику обычно определяют, перечисляя названия некоторых из ее традиционных разделов. Прежде всего, это арифметика, которая занимается изучением чисел, отношений между ними и правил действий над числами. Факты арифметики допускают различные… … Энциклопедия Кольера
Термин, ранее объединявший различные разделы математич. анализа, связанные с понятием бесконечно малой функции. Хотя метод бесконечно малых (в той или иной форме) с успехом применялся учеными Древней Греции и средневековой Европы для решения… … Математическая энциклопедия
- (от лат. absurdus нелепый, глупый) нелепость, противоречие. В логике под А. обычно понимается противоречивое выражение. В таком выражении что то утверждается и отрицается одновременно, как, напр., в высказывании «Тщеславие существует и тщеславия… … Философская энциклопедия
Общая Д. от п. описывается следующим образом. Нужно доказать некоторое А. В процессе доказательства сначала формулируется противоположное ему высказывание не-А и предполагается, что истинно: допустим, что А ложно, тогда должно быть истинно не-А. Затем из этого якобы истинного антитезиса выводятся следствия - до тех пор, пока либо не получится , либо такое , которое явным образом противоречит известному истинному высказыванию.
Если показано, что не-А ложно, то тем самым обоснована истинность тезиса А (см.
ДОКАЗАТЕЛЬСТВО).
Смотреть что такое "ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО" в других словарях:
Примеры
Смотри также
Смотреть что такое "Метод от противного" в других словарях: