Логическое следствие
Логи́ческое следствие
Суждение (предложение, высказывание, формула), логически вытекающее (или, иначе, логически следующее) из посылок умозаключения (или из посылок вывода, состоящего из ряда умозаключений), т. е. выводимое из посылок на основе правил и законов логики.
Источник:
Большая советская энциклопедия
на Gufo.me
Значения в других словарях
- Логическое Следствие — Из данного множества посылок — высказывание, являющееся истинным при любой интерпретации нелогич. символов (т. е. имен объектов, функций, предикатов), при к-рой истинны посылки. Если высказывание Аявляется Л. Математическая энциклопедия
- ЛОГИЧЕСКОЕ СЛЕДСТВИЕ — ЛОГИЧЕСКОЕ СЛЕДСТВИЕ — суждение (предложение, высказывание, формула) — полученное посредством дедуктивного рассуждения из некоторых исходных суждений. Большой энциклопедический словарь
