سیستم صوری
از ویکیپدیا، دانشنامهٔ آزاد
در منطق صوری، منظور از سیستم صوری یا سامانه صوری (به انگلیسی: Formal system) عبارت است از یک زبان صوری به علاوهٔ مجموعهای از قواعد استنباط و اصول موضوع.
جستارهای وابسته [ویرایش]
منابع [ویرایش]
Ebbinghaus, H. -D., Flum, J., and Thomas, W. Mathematical logic, Springer-Verlag New* York Inc., ۱۹۸۴. ISBN 0-387-96170-4
