دستگاه صوری: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
بدون خلاصۀ ویرایش |
Fatranslator (بحث | مشارکتها) جز اصلاح پیوند> مجموعه > مجموعه (ریاضی) (به درخواست کاربر:Yamaha5) دلیل:وپ:داپ |
||
خط ۱:
در [[منطق صوری]]، منظور از '''سیستم صوری''' یا '''سامانه صوری''' {{به انگلیسی|Formal system}} عبارت است از یک [[زبان صوری]] به علاوهٔ [[مجموعه (ریاضی)|مجموعهای]] از [[قواعد استنباط]] و [[اصل موضوع|اصول موضوع]].
== جستارهای وابسته ==
|