вивід
ВИВІД - логічна побудова, яка виникає внаслідок застосування відповідних правил для впорядкування певної сукупності суджень таким чином, що це перетворює її на послідовний ланцюг взаємопов'язаних тверджень. Правила впорядкування суджень називаються правилами В. Кінцевий результат цієї послідовності, висновок, також називають "В.". Правила В. задаються схемою: "якщо (у В.) є висловлювання А1,...Ап, то можна одержати висловлювання В.". Конкретний вигляд В. залежить від типу логічного мислення, в якому він будується. У математичній логіці логічний В. формалізується. Внаслідок строгої формалізації поняття "В." і "доведення" стають математичними об'єктами і їх можна вивчити науковими методами. Результати дослідження в теорії формального В. відіграли важливу роль у вивченні основ математики, зокрема, завдяки їм стало можливим використовувати для пошуку доведення обчислювальні машини. В. у математичній логіці - формалізація поняття "В.", що її здійснюють при побудові формальної системи логістичним методом.