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

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