следствие , суждение (предложение, высказывание, формула), логически вытекающее (или, иначе, логически следующее) из посылок умозаключения (или из посылок вывода, состоящего из ряда умозаключений), т. е. выводимое из посылок на основе правил и законов логики.
Значение ЛОГИЧЕСКОЕ СЛЕДСТВИЕ в Большой советской энциклопедии, БСЭ
Что такое ЛОГИЧЕСКОЕ СЛЕДСТВИЕ
Большая советская энциклопедия, БСЭ. 2012