دستگاه صوری

از ویکی‌پدیا، دانشنامهٔ آزاد
(تغییرمسیر از سیستم صوری)

در منطق صوری، منظور از دستگاه صوری (به انگلیسی: Formal system) عبارت است از یک زبان صوری به علاوهٔ مجموعه‌ای از قواعد استنباط و اصول موضوع.

جستارهای وابسته[ویرایش]

منابع[ویرایش]

Ebbinghaus, H. -D., Flum, J., and Thomas, W. Mathematical logic, Springer-Verlag New* York Inc., ۱۹۸۴. ISBN 0-387-96170-4