کم‌زور‌سازی

همچنین شناخته شده با: تضعیف
برابر انگلیک (انگلیسی): weakening
دیسه‌ای
Γ ⊢ Σ
Γ, 𝐴 ⊢ Σ
Γ ⊢ Σ
Γ, A ⊢ Σ


تاربرگ‌های پیموده‌شده در این نشست: The completeness of the axioms of the logical function calculus