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