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

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

ویرایش