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

محتوای حذف‌شده محتوای افزوده‌شده

درخط

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

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

@@ خط ۱: / خط ۱: @@
+در [[منطق صوری]]، منظور از '''سیستم صوری''' یا '''سامانه صوری''' (Formal system) عبارت است از یک [[زبان صوری]] به علاوهٔ [[مجموعه]]‌ای از [[قواعد استنباط]] و [[اصل موضوع | اصول موضوع]].
-{{منبع}}
+==جستارهای وابسته==
-'''سامانهٔ صوری''' (Formal system)، در [[منطق صوری]] عبارت است از یک زبان صوری به علاوه مجموعه ای از [[قواعد استنباط]] و [[اصول موضوع]].
+* [[حساب گزاره‌ها | منطق گزاره‌ها]]
+* [[قضایای عدم تمامیت گدل]]
+* [[علوم صوری]]
+[[رده:روش‌های صوری]]
-{{فلسفه-خرد}}
-[[Category:روش‌های صوری]]
 [[de:Formales System]]