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