دستگاه صوری: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
جز r2.7.1) (ربات افزودن: ar, sr اصلاح: ru, zh |
KamikazeBot (بحث | مشارکتها) جز r2.7.1) (ربات افزودن: hu:Logikai kalkulus |
||
خط ۲۰: | خط ۲۰: | ||
[[fr:Système formel]] |
[[fr:Système formel]] |
||
[[gd:Siostam foirmeil]] |
[[gd:Siostam foirmeil]] |
||
[[hu:Logikai kalkulus]] |
|||
[[it:Sistema formale]] |
[[it:Sistema formale]] |
||
[[ja:形式体系]] |
[[ja:形式体系]] |
نسخهٔ ۲۴ اوت ۲۰۱۱، ساعت ۱۴:۲۳
در منطق صوری، منظور از سیستم صوری یا سامانه صوری (Formal system) عبارت است از یک زبان صوری به علاوهٔ مجموعهای از قواعد استنباط و اصول موضوع.
جستارهای وابسته
منابع
Ebbinghaus, H. -D., Flum, J., and Thomas, W. Mathematical logic, Springer-Verlag New* York Inc., ۱۹۸۴. ISBN 0-387-96170-4