قواعد استنتاج
از ویکیپدیا، دانشنامهٔ آزاد
قواعد استنتاج، در منطق، قاعدههای نحوی یا توابعی هستند که ارزشی را از فرضهای اولیه (صغری) دریافت میکنند و ارزشی را به عنوان نتیجهگیری (کبری) بازمیگردانند.
|
علم منطق |
|
| تاریخ |
|
|
| مقالات اصلی |
|
|
| مفاهیم منطق |
|
|
| مجادلهها |
|
|
| افراد اصلی |
|
|
| فهرستها |
|
|
|
|
|