индукция математическая


индукция математическая
(ПОЛНАЯ МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ) - средство доказательства общих положений в математике и др. дедуктивных науках. Этот прием опирается на использование двух суждений. Первое представляет собой единичное суждение и наз. базой индукции. В нем доказывается, что 1 обладает некоторым свойством (S(1)). Второе суждение - общее условное. В нем утверждается, что если произвольное число п обладает свойством S (т. наз. индуктивное предположение), то и непосредственно следующее за ним (в натуральном ряду) число n+1 также обладает этим свойством S (т. наз. индукционный шаг). Это т.наз. наследуемость свойства S в натуральном ряду чисел 1, 2, 3, 4, 5, ..., n, n+1 ... Если первое и второе положения верны, то можно сделать заключение, что и все натуральные числа обладают свойством S, что S принадлежит всему бесконечному множеству натуральных чисел.
Символически это доказательство записывается так:
S(1)& "n(S(n)->S(n+1)) ®" mS(m).
Доказательство некоторого общего математического суждения может быть продемонстрировано последовательностью процедур: из " n(S(n) ->S(n+1)) по правилам логики могут быть получе-ны следующие суждения: S(1)->S(2) (1), S(2)->S(3) (2), S(3)->S(4) (3)... и т. д. Поскольку же нам надо 5(1), то из суждения (1) мы получаем по модус поненс S(2); поскольку нам дано S(2), мы из (2) можем получить 5( 3); поскольку нам дано S(3), мы из (3) можем получить 5(4), и т. д. до бесконечности. Это и означает доказанность истинности общего суждения "mS(m).

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

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

  • ИНДУКЦИЯ МАТЕМАТИЧЕСКАЯ — см. Математическая индукция. Философская Энциклопедия. В 5 х т. М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960 1970 …   Философская энциклопедия

  • Индукция Математическая, Полная Математическая Индукция — а средство доказательства общих положений в матемантике и др. дедуктивных науках. Этот прием опирается на использованние двух суждений. Первое представляет собой единичное суждение и наз. базой индукции. В нем доказывается, что 1 обладает… …   Словарь терминов логики

  • МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ — полная математическая индукция (наз. в математике часто просто полной индукцией; в этом случае это понятие следует отличать от рассматриваемого в нематематич. формальной логике понятия полной индукции), – прием доказательства общих предложений в… …   Философская энциклопедия

  • МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ — МАТЕМАТИЧЕСКАЯ индукция, способ доказательства или определения некоторого свойства A для всех n случаев, основанный на переходе заключения о наличии свойства A от n к n+1. Математическая индукция состоит из двух этапов: установление A для… …   Современная энциклопедия

  • МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ — общий способ математического доказательства или определения некоторого свойства А для всех натуральных n, основанный на заключении от n к n+1. Математическая индукция состоит из двух этапов: а) установление А для некоторого начального n0; б)… …   Большой Энциклопедический словарь

  • Математическая индукция — МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ, способ доказательства или определения некоторого свойства A для всех n случаев, основанный на переходе заключения о наличии свойства A от n к n+1. Математическая индукция состоит из двух этапов: установление A для… …   Иллюстрированный энциклопедический словарь

  • индукция —         ИНДУКЦИЯ (от лат. inductio выведение; возбуждение) этот термин в современной логике используется как синоним более точного, но более громоздкого, термина «индуктивное рассуждение». Индуктивное рассуждение содержит переход от эмпирически… …   Энциклопедия эпистемологии и философии науки

  • МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ — МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ, метод, доказывающий, что математическое утверждение верно для любого положительного целого числа п, если выполняются два условия: 1) оно верно для основной величины, например, 1, и 2) если оно верно для значения k, то… …   Научно-технический энциклопедический словарь

  • Индукция (в логике) — Индукция (греч. epagoge, лат. inductio ‒ наведение), вид обобщений, связанных с предвосхищением результатов наблюдений и экспериментов на основе данных прошлого опыта. Именно поэтому и говорят об эмпирических, или индуктивных, обобщениях, или об… …   Большая советская энциклопедия

  • ИНДУКЦИЯ — (от латинского inductio наведение), умозаключение от фактов к некоторой гипотезе (общему утверждению). Смотри Дедукция, Математическая индукция …   Современная энциклопедия

Книги

Другие книги по запросу «индукция математическая» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.