ЛОГИЧЕСКОЕ СЛЕДСТВИЕ
ЛОГИЧЕСКОЕ СЛЕДСТВИЕ — суждение (предложение, высказывание, формула) — полученное посредством дедуктивного рассуждения из некоторых исходных суждений.
Источник:
Большой энциклопедический словарь
на Gufo.me
Значения в других словарях
- Логическое Следствие — Из данного множества посылок — высказывание, являющееся истинным при любой интерпретации нелогич. символов (т. е. имен объектов, функций, предикатов), при к-рой истинны посылки. Если высказывание Аявляется Л. Математическая энциклопедия
- Логическое следствие — Суждение (предложение, высказывание, формула), логически вытекающее (или, иначе, логически следующее) из посылок умозаключения (или из посылок вывода, состоящего из ряда умозаключений), т. е. выводимое из посылок на основе правил и законов логики. Большая советская энциклопедия
