Дедуктивные умозаключения позволяют выводить из истинных посылок при соблюдении соответствующих правил истинные заключения. Индуктивные умозаключения обычно дают нам не достоверные, а лишь правдоподобные заключения. В определении индукции в логике выявляются два подхода -первый, осуществляемый в традиционной (не в математической) логике, в которой индукцией называется умозаключение от знания меньшей степени общности к новому знанию большей степени общности (т. е. от отдельных частных случаев мы переходим к общему суждению). При втором подходе, присущем современной математической логике, индукцией называется умозаключение, дающее вероятностное суждение. Полной индукцией называется такое умозаключение, в котором общее заключение о всех элементах класса предметов делается на основании рассмотрения каждого элемента этого класса. В полной индукции изучаются все предметы данного класса, а посылками служат единичные суждения. Полная индукция дает достоверное заключение, поэтому она часто применяется в математических и в других самых строгих доказательствах. Чтобы использовать полную индукцию, надо выполнить следующие условия:
1. Точно знать число предметов или явлений, подлежащих рассмотрению.
2. Убедиться, что признак принадлежит каждому элементу этого класса.
3. Число элементов изучаемого класса должно быть невелико.
Математическая индукция
Это один из важнейших методов доказательства в математике, основанный на аксиоме (принципе) математической индукции. Пусть: 1) свойство А имеет место при п = 1; 2) из предположения о том, что свойством А обладает какое-либо натуральное число n, следует, что этим свойством А обладает и число n + 1. Тогда делаем заключение, что свойством А обладает любое натуральное число.
Математическая индукция используется при выведении ряда формул: арифметической и геометрической прогрессий, бинома Ньютона и др.