دستگاه صوری
ظاهر
از ویکیپدیا، دانشنامهٔ آزاد
در منطق صوری، منظور از دستگاه صوری (به انگلیسی: Formal system) عبارت است از یک زبان صوری به علاوهٔ مجموعهای از قواعد استنباط و اصول موضوع.
جستارهای وابسته
[ویرایش]منابع
[ویرایش]Ebbinghaus, H. -D., Flum, J., and Thomas, W. Mathematical logic, Springer-Verlag New* York Inc., ۱۹۸۴. ISBN 0-387-96170-4
تاریخ | |||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
مقالات اصلی | |||||||||||||||
مفاهیم منطق |
| ||||||||||||||
مجادلهها | |||||||||||||||
افراد اصلی |
| ||||||||||||||
فهرستها | |||||||||||||||
دانش محاسبهپذیر | |
---|---|
موضوعات و مفاهیم | |
پیشنهادها پیادهسازیها |
|
در داستان |
|
![]() | این یک مقالهٔ خرد منطق است. میتوانید با گسترش آن به ویکیپدیا کمک کنید. |