Вывод (рассуждение)




Главная
Новости
Статьи
Строительство
Ремонт
Дизайн и интерьер
Строительная теплофизика
Прочность сплавов
Основания и фундаменты
Осадочные породы
Прочность дорог
Минералогия глин
Краны башенные
Справочник токаря
Цементный бетон




15.04.2021


14.04.2021


14.04.2021


13.04.2021


11.04.2021


08.04.2021


07.04.2021





Яндекс.Метрика

Вывод (рассуждение)

15.02.2021


Вывод (лат. conclusio) в логике — процесс рассуждения, в ходе которого осуществляется переход от некоторых исходных суждений (предпосылок) к новым суждениям — заключениям. Вывод может проводиться в несколько этапов—умозаключений.

Пример:

Правила преобразования исходной системы предпосылок в систему заключений называются правилами вывода или правилами проведения умозаключений. Если вид посылок и заключений указан явно, то вывод называется прямым. Если в посылках и заключении указаны лишь виды выводов, от одного из которых разрешается переходить к другому, то вывод называют косвенным.

Понятие вывода используется во многих формальных системах: в логике, математике, информатике, логическом программировании и др. В математической логике правила логического вывода задаются в исчислении высказываний либо исчислении предикатов.

В информатике вывод умозаключений проводится с использованием правил, принципов и законов логического вывода на основе заданных фактов и правил с использованием методов и средств логического программирования.

В информатике для описания фактов и правил логического вывода, а также баз знаний и моделей экспертных систем широко используется язык логического программирования Пролог.

Умозаключения (отдельные шаги вывода) разделяют:

  • По направлению логического следования.
  • Дедуктивные (от общего к частному).
  • Индуктивные (от частного к общему).
  • Трансдуктивные (от одной степени общности к такой же степени общности).
  • По достоверности вывода.
  • Достоверные.
  • Правдоподобные.
  • По числу посылок.
  • Непосредственные.
  • Опосредственные.