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