اندرهازش ∧
برابر انگلیک (انگلیسی): ∧ Introduction


تاربرگ‌های پیموده‌شده در این نشست: گویایی ارستو ⟩ زدایش ∨ ⟩ هاگردش ⟩ Double Negation Elimination