Висновок в умовиводі може бути або істинним, або хибним. Для того щоб висновок умовиводу був істинним, необхідно дотримуватися таких двох умов. Засновки, з яких роблять висновок, мають бути істинним Умовивід має бути логічно правильним.