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