استدلال استنتاجی: تفاوت میان نسخه‌ها

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

== پانوشته‌هاپانویس ==