УМОВИВІД
в логіці міркування, яке полягає у виведенні згідно з законами логіки (правилами у.) нових тверджень (умовиводів) з висловлювань, які визнаються істинними (передумов); у. поділяється на ймовірнісний (у. редукційний, індукційний, у. побудований на аналогії) і у. необхідні (у. дедуктивний).