Энциклопедический словарь, 1998 г.
логическое следствие
суждение (предложение, высказывание, формула), полученное посредством дедуктивного рассуждения из некоторых исходных суждений. ...ЛОГИЯ (от греч. logos - слово, учение) часть сложных слов, означающая: наука, знание, учение, напр., геология, филология.
Большая Советская Энциклопедия
Логическое следствие
суждение (предложение, высказывание, формула), логически вытекающее (или, иначе, логически следующее) из посылок умозаключения (или из посылок вывода, состоящего из ряда умозаключений), т. е. выводимое из посылок на основе правил и законов логики.