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

Види:

1.Дедуктивний умовивід – це умовивід, у якому висновок зроблено обовязково із засновків, яі виражають знання достатньо великого ступеня загальності і які самі є знанням меншого степеня загальності.

А) Безпосередні умовиводи наз дедуктивні умовиводи, які виводять з одного засновку.

Б) Категоричний силогізм – вид дедуктивного умовиводу, в якому з 2ох категоричних суджень, звязаних середнім терміном (М), при додержані правил обовязково випливає висновок

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

А)повна індукція – різновид індуктивного умовиводу, в якому на підставі знання про належність певної ознак кожному предметові класу робиться висновок про належність цієї ознаки всім предметам цього класу

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

3.Умовиводи за аналогією – цетрадуктивний умовивід, у якому на підставі подібності предметів в одих ознак робиться висновок про їхню подібність в інших ознаках.

А)проста аналогія-на підставі подібності предметів за одними якими-небудь ознаками облять висновок про їх подібність в інших ознак.

Б) строга аналогія-грунтується на знанні залежності ознак предметів, що порівнюються

В)нестрога – в ній робиться висновок без знання про звязок подібних ознак.