deductive rule

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