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

Мат. quantification rule, quantifier rule