deductive consequence

Мат. дедуктивное следствие