Висновок - процес міркування. в ході якого здійснюється перехід від деяких вихідних суджень (передумов) до нових суджень - висновків.
Правила перетворення вихідної системи передумов в систему висновків називаються правилами виведення або правилами проведення умовиводів. Якщо вид посилок і висновків вказано явно, то висновок називається прямим. Якщо в посилках і висновку зазначено лише види висновків, від одного з яких дозволяється переходити до іншого, то висновок називають непрямим.
Поняття виведення використовується в багатьох формальних системах: в логіці. математики. інформатики. логічному програмуванні та ін. В математичній логіці правила логічного висновку задаються в обчисленні висловлювань або численні предикатів.
В інформатиці висновок умовиводів проводиться з використанням правил, принципів і законів логічного висновку на основі заданих фактів і правил з використанням методів і засобів логічного програмування.
В інформатиці для опису фактів і правил логічного висновку, а також баз знань і моделей експертних систем широко використовується мова логічного програмування Пролог.
Умовиводи (окремі кроки виведення) поділяють:
1) у напрямку логічного слідування на
2) за достовірності виведення на
3) за кількістю посилок
Дивитися що таке "умовивід" в інших словниках:
умовивід - умовивід ... Орфографічний словник-довідник
Умовивід - розумовий процес, в ході якого з одного або декількох суджень, званих посилками, виводиться нове судження, зване висновком, або наслідком. У. зазвичай поділяють на дедуктивні та індуктивні. Висновки дедуктивних У. якщо ... ... Філософська енциклопедія
Умовивід - умовивід, умовиводи, пор. 1. Логічний процес виведення з двох суджень укладення, силогізм (філос.). Дедукція. 2. Висновок, висновок (кніжн.). Зробити висновок. Правильне умовивід. Тлумачний словник Ушакова ... Тлумачний словник Ушакова
умовивід - одна з логічних форм мислення (див. також поняття і судження). У. характеризується висновком на основі правил логіки укладення або слідства з декількох суджень (посилок). У логіці розробляються класифікації У. Психологія ... Велика психологічна енциклопедія
Умовивід - розумова дія на основі властивих індивідуальній свідомості норм висновків, багато в чому збігаються з правилами і законами логіки ... Великий Енциклопедичний словник
Умовивід - встановлення зв'язку між тими чи судженнями. Здійснюється в словесній формі, за рахунок чого виявляється можливий вихід з під впливу перцептивного поля ... Психологічний словник
Умовивід - форма мислення, за допомогою якої отримують нове судження на основі однієї або кількох вже прийнятих суджень. Вихідні судження, на підставі яких виходить нове судження, називаються посилками У. а нове судження, отримане в результаті ... ... Новітній філософський словник
умовивід - умовивід процедура безпосереднього виведення деякого висловлювання з одного або декількох висловлювань. Висловлювання, з яких робиться висновок, називають посилками, а висловлювання, яке виводиться з посилок, ув'язненням. У ... ... Енциклопедія епістемології і філософії науки