Сле'дствие в логике, см. Логическое следствие .