Умовивід - форма мислення, за допомогою якої з одних думок (засновків) одержують нові думки – висновки. Умовиводидедуктивнііндуктивнітрадуктивніаналогіявід більш загального до менш загальноговід одиничного до часткового чи й загальноговід знань певного ступеня загальності до знань такого ж ступеня загальності
Вихідним називають знання, із якого за правилами та законами логіки отримують нове знання. Вивідним називають знання, отримане із вихідного знання, згідно із правилами та законами логіки. Засновком називають судження, що містить вихідне знання. Висновком називають судження, що містить вивідне знання.
Умовиводи. Достовірні (необхідні)Ймовірні (правдоподібні)висновки є необхідно істинними (за умови істинності засновків і правильності зв'язку між ними)висновки є імовірно істинними, навіть за умови істинності засновків. Залежно від кількості засновків, що входять до складу умовиводівбезпосередніопосередкованідо складу яких входить лише один засновокякі містять у собі два і більше засновків