Математичка индукција — разлика између измена

# '''Индуктивни корак''': показује се да '''''ако''''' исказ важи за -{''n'' = ''m''}-, '''''онда''''' исти исказ важи и за -{''n'' = ''m'' + 1.}-

Коришћење речи ''ако'' у индуктивном кораку се назива '''индуктивном хипотезом'''. Како би се спровео индуктивни корак, претпоставља се да индуктивна хипотеза важи (тачније да је исказ тачан за -{''n'' = ''m''}-) и онда се користи ова претпоставка да се докаже исказ за -{''n'' = ''m'' + 1.}-

Овај метод функционише на следећи начин. Прво се докаже да је исказ тачан за почетну вредност, а затим се докаже да је процес преласка са неке вредности на следећу исправан. Ако су оба доказана, онда се до тачности исказа за сваку вредност може доћи узастопним понављањем овог процеса. Ово се може посматрати као [[ефекат домина]]; Ако имамо дугачак низ домина, и ако смо сигурни да:

# Прва домина може да падне

 

Сада, како бисмо завршили, користимо процес математичке индукције:

 

== Извори ==

 

== Види још ==

 

[[Категорија:Математичка логика]]