زدایش ∨
برابر انگلیک (انگلیسی): ∨ Elimination


تاربرگ‌های پیموده‌شده در این نشست: کامندگی ⟩ بنداشت جداسازی ⟩ بازبرد ⟩ کلارنس ایروینگ لوییس ⟩ هستیال‌گروی ⟩ Modal System B