دستگاه صوری: تفاوت میان نسخه‌ها
محتوای حذف‌شده محتوای افزوده‌شده
جزبدون خلاصۀ ویرایش |
جز ربات: افزودن he:פורמליזם (מתמטיקה) |
||
| خط ۲۵: | خط ۲۵: | ||
[[fr:Système formel]] |
[[fr:Système formel]] |
||
[[gd:Siostam foirmeil]] |
[[gd:Siostam foirmeil]] |
||
[[he:פורמליזם (מתמטיקה)]] |
|||
[[hu:Logikai kalkulus]] |
[[hu:Logikai kalkulus]] |
||
[[it:Sistema formale]] |
[[it:Sistema formale]] |
||
نسخهٔ ۲۳ ژانویهٔ ۲۰۱۳، ساعت ۱۲:۴۰
در منطق صوری، منظور از سیستم صوری یا سامانه صوری (به انگلیسی: Formal system) عبارت است از یک زبان صوری به علاوهٔ مجموعه‌ای از قواعد استنباط و اصول موضوع.
جستارهای وابسته
منابع
Ebbinghaus, H. -D., Flum, J., and Thomas, W. Mathematical logic, Springer-Verlag New* York Inc., ۱۹۸۴. ISBN 0-387-96170-4
