Что такое доказательство методом от противного. Метод от противного

Метод от противного

Апагогия - логический приём, которым доказывается несостоятельность какого-нибудь мнения таким образом, что или в нём самом, или же в необходимо из него вытекающих следствиях мы открываем противоречие .

Поэтому апогогическое доказательство является доказательством косвенным: здесь доказывающий обращается сперва к противоположному положению, чтобы показать его несостоятельность, и затем по закону исключения третьего делает вывод о справедливости того, что требовалось доказать. Этот род доказательства называется также приведением к нелепости. Существенною его принадлежностью является довод, что третье не существует, т. е., что кроме мнения, справедливость которого нужно доказать, и второго, ему противоположного, которое служит исходным пунктом доказательства, никакой третий факт не допускается. Поэтому косвенное доказательство исходит из факта, отрицающее положение, справедливость которого требуется доказать.

Примеры

Смотри также

Wikimedia Foundation . 2010 .

Смотреть что такое "Метод от противного" в других словарях:

В математике, метод бесконечного спуска это метод доказательства от противного, основанный на том, что множество натуральных чисел вполне упорядочено. Часто метод бесконечного спуска используется для доказательства того, что у некоторого… … Википедия

Метод доказательства, применявшийся математиками древности при нахождении площадей и объёмов. Название «метод исчерпывания» введено в 17 в. Типичная схема доказательства при помощи И. м. может быть изложена в современных… … Большая советская энциклопедия

Метод доказательства, применявшийся математиками древности при нахождении площадей и объемов. Назв. метод исчерпывания введено в 17 в. Типичная схема доказательства при помощи И. м. может быть изложена в современных обозначениях так: для… … Математическая энциклопедия

В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете … Википедия

- ’БЫТИЕ И ВРЕМЯ’ (‘Sein und Zeit’, 1927) основная работа Хайдеггера. На создание ‘Б.иВ.’, как традиционно полагается, повлияли две книги: работа Брентано ‘Значение бытия согласно Аристотелю’ и ‘Логические исследования’ Гуссерля. Первая из них… … История Философии: Энциклопедия

- (от позднелат. intuitio, от лат. intueor пристально смотрю) направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика … Философская энциклопедия

Математику обычно определяют, перечисляя названия некоторых из ее традиционных разделов. Прежде всего, это арифметика, которая занимается изучением чисел, отношений между ними и правил действий над числами. Факты арифметики допускают различные… … Энциклопедия Кольера

Термин, ранее объединявший различные разделы математич. анализа, связанные с понятием бесконечно малой функции. Хотя метод бесконечно малых (в той или иной форме) с успехом применялся учеными Древней Греции и средневековой Европы для решения… … Математическая энциклопедия

- (от лат. absurdus нелепый, глупый) нелепость, противоречие. В логике под А. обычно понимается противоречивое выражение. В таком выражении что то утверждается и отрицается одновременно, как, напр., в высказывании «Тщеславие существует и тщеславия… … Философская энциклопедия

В дальнейшем слова "делать все назло окружающим" фактически стали девизом жизни В.К.Противного. Так, назло всем он покинул родные Холмогоры и поступил в МГУ им. Ломоносова (а не в суворовское училище, как хотел его отец), назло всем никогда ни на ком не женился (хотя его бабушка Василиса Противная нашла ему за всю жизнь как минимум 14 невест), назло всем, сославшись на грибной сезон, не стал получать медаль Филдса - высшую награду в области математики.

Суть метода от Противного можно передать следующими пунктами:
1. Делается неверное предположение.
2. Выясняется, что следует из этого предположения на основании известных знаний.
3. Осуществляется заход в тупик.
4. Делается верный вывод о том, что неверное предположение неверно.

Многие ученые, философы, исследователи и даже деятели искусств стали ярыми приверженцами идей украинского просветителя. Например, так впервые в медицинской практике была использована лоботомия, когда была сделана попытка разрешить извечный философский спор о первичности материи или сознания с помощью медицинского эксперимента. Так ученик В.К.Противного Лобачевский создал неевклидову геометрию, так его почитатель Чайковский написал гимн альтернативной любви - вальс "Голубой Дунай", и так далее.

Метод от Противного часто применяется в настоящее время в самых разных областях человеческой жизни. Например, для воспитания художественного вкуса москвичей им с успехом пользуется московский мэр Лужков, устанавливая в городе скульптуры Церетели. Руководство ГУВД, пользуясь этим методом, решило найти убийц известной журналистки Политковской, так как другие методы в виду особой сложности дела результатов не дают. Вооруженные МОП московские милиционеры знают - последовательно выявив всех непричастных, они автоматически выйдут на след убийц.

Вся жизнь и даже смерть В.К.Противного явилась яркой иллюстрацией его метода. Ученый трагически ушел из жизни 29 февраля 1613 г в возрасте 112 лет, повесившись назло своей бабушке Василисе Противной, не давшей Василию Козьмичу попробовать варенье из холодильника. Несмотря на двоякое отношение к В.К.Противному из-за его скверного характера, большинство ученых и исследователей все-таки считают МОП одним из наиболее мощных орудий современной науки в целом и математики в частности.
____________________________________

Василий Козьмич Противный, выдающийся украинский просветитель (1513 - 1613)

Выражаю благодарность

Ложен, мы тем самым обосновываем истинность противоположного ему положения - тезиса. Напр., врач, убеждая пациента в том, что тот не болен гриппом, может рассуждать следующим образом: «Если бы вы действительно были больны гриппом, то у вас была бы повышена температура, был заложен нос и т.д. Но ничего этого нет. Следовательно, нет и гриппа». Доказательство некоторого положения от противного - это истинности данного положения, опирающееся на демонстрацию ложности «противного» (противоречащего) положения и исключенного третьего.
Общая Д. от п. описывается следующим образом. Нужно доказать некоторое А. В процессе доказательства сначала формулируется противоположное ему высказывание не-А и предполагается, что истинно: допустим, что А ложно, тогда должно быть истинно не-А. Затем из этого якобы истинного антитезиса выводятся следствия - до тех пор, пока либо не получится , либо такое , которое явным образом противоречит известному истинному высказыванию. Если показано, что не-А ложно, то тем самым обоснована истинность тезиса А (см. ДОКАЗАТЕЛЬСТВО).

Философия: Энциклопедический словарь. - М.: Гардарики . Под редакцией А.А. Ивина . 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) вид Доказательства, при котором «доказывание» некоторого суждения (тезиса доказательства) осуществляется через опровержение противоречащего ему суждения антитезиса. Опровержение антитезиса при этом достигается… … Большая советская энциклопедия

Занятие рассчитано на 2академ. часа.

Цель: изучить различные методы доказательств (прямое рассуждение, метод «от противного» и обратное рассуждение), иллюстрирующие методологию рассуждений. Рассмотреть метод математической индукции.

Теоретический материал Методы доказательств

При доказательстве теорем применяется логическая аргументация. Доказательства в информатике  неотъемлемая часть проверки корректности алгоритмов. Необходимость доказательства возникает, когда нам нужно установить истинность высказывания вида (АВ). Существует несколько стандартных типов доказательств, включающих следующие:

Прямое рассуждение (доказательство).

Предполагаем, что высказывание А истинно и показываем справедливость В. Такой способ доказательства исключает ситуацию, когда A истинно, a B  ложно, поскольку именно в этом и только в этом случае импликация (АВ) принимает ложное значение (см. табл).

Таким образом, прямое доказательство идет от рассмотрения аргументов к доказательству тезиса, т. е. истинность тезиса непосредственно обосновывается аргументами. Схема этого доказательства такая: из данных аргументов (а, b, с, ...) необходимо следует доказываемый тезис q.

По этому типу проводятся доказательства в судебной практике, в науке, в полемике, в сочинениях школьников, при изложении материала учителем и т. д.

Примеры:

1. Учитель на уроке при прямом доказательстве тезиса “Народ  творец истории”, показывает; во-первых , что народ является соз­дателем материальных благ, во-вторых , обосновывает огромную роль народных масс в политике, разъясняет, как в современную эпоху народ ведет активную борьбу за мир и демократию, в-треть­их , раскрывает его большую роль в создании духовной культуры.

2. На уроках химии прямое доказательство о горючести сахара может быть представлено в форме категорического силлогизма: Все углеводы - горючи. Сахар - углевод. Сахар горюч.

В современном журнале мод “Бурда” тезис “Зависть - ко­рень всех зол” обосновывается с помощью прямого доказатель­ства следующими аргументами: “Зависть не только отравляет людям повседневную жизнь, но может привести и к более серь­езным последствиям, поэтому наряду с ревностью, злобой и ненавистью, несомненно, относится к самым плохим чертам характера. Подкравшись незаметно, зависть ранит больно и глубоко. Че­ловек завидует благополучию других, мучается от сознания того, что кому-то больше повезло”".

2. Обратное рассуждение (доказательство ) . Предполагаем, что высказывание В ложно и показываем ошибочность А. То есть, фактически, прямым способом проверяем истинность импликации ((не В)(не А)), что согласно таблицы, логически эквивалентно истинности исходного утверждения (АВ).

3. Метод «от противного».

Этот метод часто используется в математике. Пусть а - тезис или теорема, которую надо доказать. Предполагаем от противного, что а ложно, т. е. истинно не-а (или ). Из допущениявыводим следствия, которые противоречат действительности или ранее доказанным теоремам. Имеем
, при этом- ложно, значит, истинно его отрицание, т.е. , которое по закону двузначной классической логики (→а ) дает а. Значит, истинно а , что и требовалось доказать.

Примеров доказательства “от противного” очень много в школьном курсе математики. Так, пример, доказывается теорема о том, что из точки, лежащей вне прямой, на эту прямую можно опустить лишь один перпендикуляр. Методом “от противного” доказывается и следующая теорема: “Если две прямые перпендикулярны к одной и той же плоскости, то они параллельны”. Доказательство этой теоремы пpямо начинается словами: “Предположим противное, т. е. что прямые АВ и CD не параллельны”.

Что такое метод доказательства «от противного»?

Суть метода доказательства от противного заключается в два этапах. Первое в доказательстве СУЩЕСТВОВАНИЯ самого доказательства и второе в доказательстве ЕДИНСТВЕННОСТИ доказания. Коряво описал, но хотел сказать следующее. При доказательстве теорем таким методом нужно показать, что существует решение данной задачи или теоремы, а затем доказать, что это решение будет единственное. Это не единственный метод применяемый в доказательстве теорем, но как математический и логический инструмент небезынтересный.

Метод доказательства от противного используется не только в математике, хотя там и получил довольно широкое распространение в качестве инструмента доказательства отдельных задач и теорем.

На самом деле это логический метод доказательства любых утверждений, который может быть применен в любой области знаний. Даже в гуманитарных и социальных науках. Просто, в технических науках мы имеем дело с цифрами, а многих людей убеждает как раз наличие этих значков, а в мире логики мы оперируем умозаключениями, которые никогда не могут считаться абсолютной истиной.

Этот метод доказательства мы изучали в школе в средних классах, когда берется за основу какое-то утверждение, которое никак не доказать, вместо этого берут прямо противоположное ему утверждение, доказывают, что оно неверно-следовательно, то, что нам не доказать, верно, и это единственное верное решение данного вопроса.

В жизни мы говорим о чем-то, доказать не можем, но приводим пример противоположный и доказываем, что он неверен: из тайника украли деньги, знали о нем Вася и Петя, но у Пети алиби-он уехал на дачу на всю неделю, значит, деньги украл Вася.

Методом доказательства от противного называется способ при котором недоказуемая истина, становится истиной, только лишь потому что иное всегда не правильно - а это как раз то и доказуемо. Соответственно, в результате этого метода, пусть и косвенно, но мы доказали недоказуемую истину

Данный закон основывается на законе двойного отрицания если не верно А, то А верно.

К примеру у вас как вы думаете язва. Ваш врач для того что бы опровергнуть это суждение, доказывает вам опровергая то в чем вы уверенны, то есть ваше утверждение и говорит, что у вас нет язвы так как гастроскопия показало что в полости желудка нет повреждений, вы не теряете вес и можете есть все что захотите.

Стандартный прием, например, в математике. Нужно доказать утверждение А. А это трудно. Тогда берут прямо противоположное утверждение В, и доказывают, что оно неверно. Отсюда следует, что А - истинно. То же и в жизни. Простой пример: некто говорит: Мистер Х - вор. Его оппонент: Но как это доказать? Первый: Предположим, что он - честный человек. Второй: Да это же курам насмех!. Первый: Вот мы и доказали, что Х - вор :)))