Faberlic-partner.ru

Faberlic-partner.ru - фатоватый ресурс

Метки: 6 умозаключение реализующее путь обобщения от общего к частному это вывод, умозаключение по аналогии, умозаключение ощущение представление суждение планирование описание, умозаключение 4 класс матвеева.

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

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

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

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

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

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

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


Tags: 6 умозаключение реализующее путь обобщения от общего к частному это вывод, умозаключение по аналогии, умозаключение ощущение представление суждение планирование описание, умозаключение 4 класс матвеева.