استنتاج (deduction) به دو معنا به کار می‌رود: ابتدا به عنوان یکی از روش‌های استدلال منطقی و سپس به نتیجه‌ای که از این روش حاصل می‌شود. روشی برای اثبات است که همواره بر مجموعه‌ای از فرضیات بنیادین بنا شده است. به عنوان مثال، از روش استنتاجی می‌توان برای اثبات قوانین جبری و قضایای هندسی استفاده کرد. البته، تمام روش‌های اثبات، استنتاجی نیستند. گزاره‌ها را می‌توان با روش استقرایی نیز تأیید کرد. در این روش، با استفاده از نمونه‌ها و موارد صدق متعدد، به یک حقیقت کلی دست یافته می‌شود. نتایج حاصل از روش استقرا همیشه صادق نیستند مانند نتیجه‌گیری کلی در مورد سختی تمام فلزات بر اساس مشاهده سختی بسیاری از آن‌ها، اما تمام نتایج حاصل از روش قیاسی، به شرط صحت فرضیاتشان، باید صادق باشند. در هر حوزه دانشی که دارای مجموعه‌ای از فرضیات بنیادین باشد، روش استنتاج قیاسی برای کشف حداکثر نتایج ممکن به کار می‌رود. چنانچه برخی نتایج با مشاهدات مطابقت نداشته باشند، بازنگری در فرضیات برای همسو کردن نتایج نظری با مشاهدات ضروری است.
استنتاج
لغت نامه دهخدا
فرهنگ معین
فرهنگ عمید
۲. (منطق ) نتیجه گرفتن از مقدمه.
فرهنگ فارسی
( مصدر ) طلب نتیجه کردن استخراج نتیجه کردن استخراج نتیجه کردن از مقدمات. جمع: استنتاجات.
دانشنامه آزاد فارسی
از روش های استدلال منطقی و در عین حال نتیجۀ حاصل از این روش. استنتاج روشی برای اثبات است که همیشه بر مجموعه ای از فرض های بنیانی (اصول بدیهی یا فرض های اولیه) استوار است. مثلاً روش استنتاجی می تواند برای اثبات نتایج قوانین جبری و قضایای هندسی به کار رود. اما همۀ روش های اثبات، استنتاجی نیستند. گزاره را می توان با روش استقرایی نیز تأیید کرد؛ در این روش از نمونه ها و موارد صدق متعددی برای اخذ حقیقتی کلی استفاده می شود. نتایج روش استقرا همیشه صادق نیستند (مثلاً حکم به سخت بودن همۀ فلزات از مشاهدۀ سختی بسیاری از فلزات) اما همۀ نتایج حاصل از روش قیاسی باید به شرط صحت مفروضات شان صادق باشند. در هر حیطه ای از معرفت که دارای مجموعه ای از فرض های بنیانی است، روش استنتاج قیاسی برای کشف حداکثر نتایج ممکن به کار می رود. اگر بعضی از نتایج با مشاهدات سازگار نباشد، تجدیدنظر در فرض ها برای سازگارکردن نتایج نظری با مشاهدات لازم می آید.
ویکی واژه
جمله سازی با استنتاج
عقل کافی کند نجات و شفا از اصول کلام استنتاج
از استنتاج معکوس در حل بسیاری از مسائل که به بازی قابل مدل کردن هستند، می‌توان استفاده کرد.
ارسطو در قرن چهارم پیش از میلاد اقدام به مستندسازی و ثبت استدلال استنتاجی کرد.
