نگره‌

همچنین شناخته شده با: نظریه
برابر انگلیک (انگلیسی): theory

ویمند [=تعریف] ۱

یک نگره 𝑇، گردایه‌ای از گزاره‌ها در زبان 𝐿 است به گونه‌ای که اگر 𝑇 گزاره‌ی 𝜑 را استوار می‌کند (𝜑 برایند گفت‌شناسانیک 𝑇 است) آنگاه 𝜑 هموند [=متعلق به] 𝑇 است.

دیسه‌ای
𝑇⊢𝜑 ⇒ 𝜑∈𝑇
𝑇⊢𝜑 ⇒ 𝜑∈𝑇

جستارهای پیونددار سامانه دیسه‌ای

تاربرگ‌های پیموده‌شده در این نشست: بازنمایش و خردورزی دانایی توربست پَیوار پارادخش‌های درتاهش سخت‌گیر گویایی E گویایی آزاد نتار ستوارش