زدایش ∧
همچنین شناخته شده با: حذف ∧
برابر انگلیک (انگلیسی): ∧ Elimination


تاربرگ‌های پیموده‌شده در این نشست: ایمانوئل کانت ⟩ A⥽(B∨¬B) ⟩ شمارگان درست