ЛОГИЧЕСКОЕ СЛЕДСТВИЕ

ЛОГИЧЕСКОЕ СЛЕДСТВИЕ — суждение (предложение, высказывание, формула) — полученное посредством дедуктивного рассуждения из некоторых исходных суждений.

Значения в других словарях

1. Логическое Следствие — Из данного множества посылок — высказывание, являющееся истинным при любой интерпретации нелогич. символов (т. е. имен объектов, функций, предикатов), при к-рой истинны посылки. Если высказывание Аявляется Л.  Математическая энциклопедия
2. Логическое следствие — Суждение (предложение, высказывание, формула), логически вытекающее (или, иначе, логически следующее) из посылок умозаключения (или из посылок вывода, состоящего из ряда умозаключений), т. е. выводимое из посылок на основе правил и законов логики.  Большая советская энциклопедия