Логический вывод | это... Что такое Логический вывод? (original) (raw)

Логический вывод

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

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

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

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

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

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

дедуктивные (от общего к частному)
индуктивные (от частного к общему)
трансдуктивные (от общего к общему)

2)по достоверности вывода на

достоверные
правдоподобные

3)по числу посылок

непосредственные
опосредственные

Wikimedia Foundation.2010.

Смотреть что такое "Логический вывод" в других словарях:

логический вывод — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN inference … Справочник технического переводчика
ВЫВОД ЛОГИЧЕСКИЙ — ВЫВОД ЛОГИЧЕСКИЙ рассуждение, в котором осуществляется переход по правилам от высказывания или системы высказываний к высказыванию или системе высказываний. К логическому выводу обычно предъявляются (совместно или по отдельности)… … Философская энциклопедия
ВЫВОД — логический формальный вывод в исчислении, содержащем логические правила и имеющем в качестве основных выводимых объектов формулы (интерпретацией к рых являются суждения;см. Логические исчисления. Логико математические исчисления). Поскольку… … Математическая энциклопедия
ЛОГИЧЕСКИЙ — ЛОГИЧЕСКИЙ, логическая, логическое (книжн.). 1. прил. к логика. Логические категории. 2. (в качестве кратк. употр. логичен, логична, логично). Основанный на правильном умозаключении, отвечающий требованиям логики. Логический вывод. Логическое… … Толковый словарь Ушакова
ЕСТЕСТВЕННЫЙ ЛОГИЧЕСКИЙ ВЫВОД — формальный вывод, по возмвжности приближенный к содержательному рассуждению, привычному для математика и логика. Критерии естественности и качества вывода не уточняются полностью, но обычно имеются в виду выводы, осуществляемые по… … Математическая энциклопедия
Вывод — может употребляться в разных контекстах: Вывод проводник в составе электрического устройства, предназначенный для электрического соединения с другими устройствами Устройства ввода вывода класс устройств в типовой архитектуре ЭВМ Вывод результат… … Википедия
логический — прил., употр. сравн. часто Морфология: нар. логически 1. Логическим называют что либо, имеющее отношение к логике как науке. Логические категории. | Логические законы. 2. Логическим называют что либо согласующееся с законами логики, основанное на … Толковый словарь Дмитриева
вывод — сущ., м., употр. часто Морфология: (нет) чего? вывода, чему? выводу, (вижу) что? вывод, чем? выводом, о чём? о выводе; мн. что? выводы, (нет) чего? выводов, чему? выводам, (вижу) что? выводы, чем? выводами, о чём? о выводах 1. Когда вы приходите… … Толковый словарь Дмитриева
ЛОГИЧЕСКИЙ — (греч. logikos, от logos рассуждение). Согласный с логикою или основанный на законах мышления. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. ЛОГИЧЕСКИЙ греч. logikos, от logos, рассуждение. Согласный или… … Словарь иностранных слов русского языка
вывод логический — ВЫВОД ЛОГИЧЕСКИЙ рассуждение, в котором по определенным правилам осуществляется переход от высказываний или системы высказываний к высказыванию или системе высказываний. К В. л. обычно предъявляются (разом или по отдельности) следующие… … Энциклопедия эпистемологии и философии науки