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

محتوای حذف‌شده محتوای افزوده‌شده
سعی (بحث | مشارکت‌ها)
صفحهٔ جدید: در منطق صوری منظور از '''سیستم صوری''' '''سامانه صوری''' (Formal system) عبارت است از یک زبان صوری به علاوه م...
(بدون تفاوت)

نسخهٔ ‏۴ مهٔ ۲۰۰۸، ساعت ۰۴:۳۱

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