پرش به محتوا

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

جز
در [[منطق صوری]]، منظور از '''سیستم صوری''' یا '''سامانه صوری''' {{به انگلیسی|Formal system}} عبارت است از یک [[زبان صوری]] به علاوهٔ [[مجموعه (ریاضی)|مجموعه‌ای]] از [[قواعد استنباط]] و [[اصل موضوع|اصول موضوع]].
 
== جستارهای وابسته ==
۳۶۵٬۹۷۹

ویرایش