Умовивід – форма мислення, в якій з одного, двох або більше суджень виводиться нове судження, логічно пов’язане з вихідними судженнями. В умовиводі є три елементи: засновки, висновок і зв’язка. Судження, з яких робиться висновок, називають засновками. Висновок – це судження, що виводиться із засновків. Зв’язка виражає логічне відношення між засновками і висновком, у мові їй відповідають такі слова і мовні звороти, як: «отже», «тому», «внаслідок цього» та ін. Наведемо приклад умовиводу.
Жоден хабарник не є чесною людиною. Деякі посадовці – хабарники. → Деякі посадовці – нечесні люди.
В цьому умовиводі два перші судження – це засновки, стрілка означає відношення логічного слідування, а судження після стрілки – висновок.
В даному прикладі засновки передують висновку. Проте висновок може бути в тексті чи розмові розташований перед засновками, наприклад: «Деякі посадовці – нечесні люди, оскільки вони беруть хабарі (ті, хто бере хабарі – нечесні люди)». В якому порядку розташовані засновки і висновок, не має значення. Головним в умовиводі є те, що висновок слідує із засновків. Отже, в будь-якому разі, засновки логічно передують висновку.
Наведений умовивід являє собою розгорнутий запис акту мислення. В такій формі спосіб мислення стає для нас виразним і зручним для логічного аналізу. Зазвичай ми так не говоримо. Проте окремі люди можуть висловлюватись і у формі повних умовиводів, прагнучи підкреслити правильність свого мислення