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


تاربرگ‌های پیموده‌شده در این نشست: ماشین خودکار ⟩ استواره یکم نابَوَندَگی گودل ⟩ انتگرال‌گیری ⟩ راستی