Большая Советская энциклопедия - логическое следствие

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

Большая советская энциклопедия. — М.: Советская энциклопедия

1969—1978

.