Умовивід – це форми мислення, у якій з одного чи кількох істинних суджень на основі певних правил виводи виводять нове судження. Структура: засновок, висновок, логічний зв’язок між засновками та висновками. Умовивід буде правильним, якщо в ньому виконуються основні закони логіки.

Індуктивний умовиводи – це опосередковані умовиводи у яких з одиничних суджень – засновків – виводять часткое або й загальне судження – висновок.

А)повна індукція – різновид індуктивного умовиводу, в якому на підставі знання про належність певної ознак кожному предметові класу робиться висновок про належність цієї ознаки всім предметам цього класу. Наприклад: Прямокутні трикутники мають площу, що дорівнює половині добутку (множенню) основи на висоту. Тупокутні трикутники мають площу, яка дорівнює половині добутку основи на висоту. Гострокутні трикутники мають площу, яка дорівнює половині добутку основи на висоту. Значить всі трикутники мають площу, яка дорівнює половині добутку основи на висоту.

Б)неповна індукція – індуктивний умовивід, в якому висновок про весь клас предметів робиться на підставі знання тільки деяких предметів цього класу.