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


تاربرگ‌های پیموده‌شده در این نشست: De Morgan duality ⟩ tautology ⟩ begging the question ⟩ The Mathematical Analysis of Logic ⟩ Heyting algebra ⟩ George Berkeley