weakening
دیسه‌ای
Γ ⊢ Σ
Γ, 𝐴 ⊢ Σ
Γ ⊢ Σ
Γ, A ⊢ Σ


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