Индуктивное умозаключение: различия между версиями

Различают ''полную индукцию'' — метод доказательства, при котором [[Высказывание (логика)|утверждение]] доказывается для конечного числа частных случаев, исчерпывающих все возможности, и ''неполную индукцию'' — наблюдения за отдельными частными случаями наводят на гипотезу, которая, конечно, нуждается в доказательстве.

Также для доказательств используетсяиспользуются [[Математическая индукция|метод математической индукции]] и [[трансфинитная индукция]], которыйкоторые позволяетпозволяют осуществить полную индукцию для бесконечногобесконечных [[счётное множество|счётного]] множестваи [[несчётное множество|несчётного]] множеств объектов соответственно.