تفاوت میان نسخه‌های «دستگاه صوری»

جز
ربات : جراحی پلاستیک
جز (سامانه صوری به سیستم صوری که قبلاً صفحهٔ تغییر مسیر بود، منتقل شد: وگ؛ لطفا تنها به همراه مشارکت در نوشتن مطالب زیادتر کلمه های متفاوت ر�)
جز (ربات : جراحی پلاستیک)
در [[منطق صوری]]، منظور از '''سیستم صوری''' یا '''سامانه صوری''' (Formal system) عبارت است از یک [[زبان صوری]] به علاوهٔ [[مجموعه]]‌ای از [[قواعد استنباط]] و [[اصل موضوع | اصول موضوع]].
 
==جستارهای وابسته==
* [[حساب گزاره‌ها | منطق گزاره‌ها]]
* [[قضایای عدم تمامیت گدل]]
* [[علوم صوری]]
۱۷۶٬۴۸۳

ویرایش