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

Материал из свободной русской энциклопедии «Традиция»
(перенаправлено с «Имплементация»)
Перейти к: навигация, поиск

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