دستگاه صوری: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
صفحهٔ جدید: در منطق صوری منظور از '''سیستم صوری''' '''سامانه صوری''' (Formal system) عبارت است از یک زبان صوری به علاوه م... |
(بدون تفاوت)
|
نسخهٔ ۴ مهٔ ۲۰۰۸، ساعت ۰۴:۳۱
در منطق صوری منظور از سیستم صوری سامانه صوری (Formal system) عبارت است از یک زبان صوری به علاوه مجموعه ای از قواعد استنباط و اصول موضوع.