پرش به محتوا

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

جز
بدون خلاصه ویرایش
جز (ربات ردهٔ همسنگ (۲۲) +مرتب+تمیز(۲.۷): + رده:فرامنطق)
جز
در [[منطق صوری]]، منظور از '''سیستم صوری''' یا '''سامانه صوری''' ({{به انگلیسی|Formal system)}} عبارت است از یک [[زبان صوری]] به علاوهٔ [[مجموعه|مجموعه‌ای]] از [[قواعد استنباط]] و [[اصل موضوع|اصول موضوع]].
 
== جستارهای وابسته ==
۲۱۱

ویرایش