بستار هرگانی

همچنین شناخته شده با: بستار کلی
برابر انگلیک (انگلیسی): Universal Closure
دیسه‌ای
∀α′(∀α 𝜙α ⊃ 𝜙α′)
∀α′(∀α 𝜙α ⊃ 𝜙α′)


تاربرگ‌های پیموده‌شده در این نشست: گویایی چیست؟ گویایی شونی چند ارزشی بنداشت هنگرد تهی ارزش کارکردی بنداشت گزینش