умовивід

1. Логічний процес мислення, у якому з одного або кількох суджень (засновків) виводиться нове судження (висновок) за певними правилами; форма міркування.

2. Результат такого процесу; висновок, отриманий шляхом логічного виведення з певних засновків.