استدلال استنتاجی

استنتاج (Deduction) یا استدلال استنتاجی (Deductive reasoning) در منطق، ریاضیات، و هوش مصنوعی بدست آوردن یک گزاره از دنباله‌ای از یک مجموعه گزاره‌ها است. دنبالهٔ گزاره استفاده شده مفروضات و گزارهٔ بدست آمده نتیجه نامیده می‌شود.

جستارهای وابسته

• یادگیری ماشینی
• استدلال استقرائی

منابع

• ریچارد جانسون با (۱۳۸۰)، ساختمان‌های گسسته، ترجمهٔ حسین ابراهیم‌زاده قلزم (ویراست پنجم)، سیمای دانش