quantification rule

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