subalternation

دیسه‌ای
∀α 𝜙α ⊃ ∃α 𝜙α
∀α 𝜙α ⊃ ∃α 𝜙α