نمونه‌سازی هرگانی

همچنین شناخته شده با: تخصیص کلی
برابر انگلیک (انگلیسی): Universal Instantiation
دیسه‌ای
∀α 𝜙α ⊃ 𝜙β
∀α 𝜙α ⊃ 𝜙β