Следствие логическое
Consequence, Logical
Assertion B inferred (see Inference) according to certain rules of logic from statements A₁, A₂ ... Aₙ (regarded as premisses in relation to B). A Logical Consequence must be true if its premisses are true. The relation between the premisses and the Logical Consequence inferred from them is expressed symbolically as follows: A₁, A₂ ... Aₙ ⊢ B, where ⊢ is the sign of inference B from the given premisses.
Логическое следствие
Суждение (предложение, высказывание, формула), логически вытекающее (или, иначе, логически следующее) из посылок умозаключения (или из посылок вывода, состоящего из ряда умозаключений), т. е. выводимое из посылок на основе правил и законов логики.