Метод индуктивного доказательства логических высказываний (индукция) — это процесс логического вывода на основе перехода от частного положения к общему. 34

Индуктивное умозаключение связывает частные предпосылки с заключением не строго через законы логики, а скорее через некоторые фактические, психологические или математические представления. 13

Существуют разные виды индукции, например:

• Полная индукция — метод доказательства, при котором утверждение доказывается для конечного числа частных случаев, исчерпывающих все возможности. 13
• Неполная индукция — наблюдения за отдельными частными случаями наводят на гипотезу, которая нуждается в доказательстве. 13
• Математическая индукция — помогает доказать истинность какого-то утверждения для всех натуральных чисел. 5 Идея метода в том, что если высказывание справедливо для любого произвольного числа в ряду, то оно будет верным для всех. 5