استدلال استنتاجی: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
Amintajdar (بحث | مشارکتها) بدون خلاصۀ ویرایش برچسبها: ویرایش همراه ویرایش از وبگاه همراه |
Amintajdar (بحث | مشارکتها) بدون خلاصۀ ویرایش برچسبها: ویرایش همراه ویرایش از وبگاه همراه |
||
خط ۱:
'''قیاس''' یا '''استدلال قیاسی''' (deductive reasoning) در [[منطق]]، [[ریاضیات]]، و [[هوش مصنوعی]] بدست آوردن یک [[گزاره]] از دنبالهای از یک مجموعه گزارهها است. دنبالهٔ گزاره استفاده شده [[مفروضات]] و گزارهٔ بدست آمده [[نتیجه]] نامیده میشود. استدلال یا گواه آوردن قیاسی، منطق قیاسی نیز نامیده میشود. این روش استدلال کردن یا گواه آوردن از بحثهای قیاسی به دست میآید. در این گونه بحث، تلاش میشود تا نشان داده شود که نتیجه به طور بایسته و ضروری، از مجموعهای از پیش فرضها یا فرضیهها به دست میآید. بحث قیاسی هنگامی معتبر است که نتیجه به طور بایسته و ضروری، از پیش فرض و فرضیه به دست آید. گواه آوری یا استدلال قیاسی در کنار گواه آوری استقرایی (inductive reasoning)، یکی از دو روش رایج در شناخت و رسیدن به دانایی یا معرفت است
== یک مثال ساده ==
|