quantifier rule

Мат. правило квантификации