subalternation

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


تاربرگ‌های پیموده‌شده در این نشست: De Morgan duality