Логическое следствие

Материал из свободной русской энциклопедии «Традиция». Вы можете дополнить или исправить его.
Перейти к навигации Перейти к поиску

Логическое следствие — суждение (предложение, высказывание, формула), логически вытекающее (или, иначе, логически следующее) из посылок умозаключения (или из посылок вывода, состоящего из ряда умозаключений), т. е. выводимое из посылок на основе правил и законов логики.

Источник — https://traditio.wiki/w/index.php?title=Логическое_следствие&oldid=30137