یک سوال از استدلال استنتاجی u→r,(r∧s)→(p∨w),q→(u∧s),w ̅ ⊢q→p

یک سوال از استدلال استنتاجی u→r,(r∧s)→(p∨w),q→(u∧s),w ̅ ⊢q→p - نسخه‌ی قابل چاپ

یک سوال از استدلال استنتاجی u→r,(r∧s)→(p∨w),q→(u∧s),w ̅ ⊢q→p - fimen - 08 اردیبهشت ۱۳۹۳ ۰۹:۴۹ ق.ظ

سلام Rolleyes

از دوستان کسی میتونه درستی استنتاج زیر رو با حل تشریحی بررسی کنه؟؟ Huh

u→r,(r∧s)→(p∨w),q→(u∧s),w ̅ ⊢q→p

RE: یک سوال از استدلال استنتاجی!!!(help me plz) - Morris - 08 اردیبهشت ۱۳۹۳ ۰۴:۱۳ ب.ظ

هنگامی که در حکم یک استدلال، استلزامی موجود باشد (مثلا اینجا حکم ما q→p است)، می توان مقدمه ی آن استلزام را (در اینجا q) به عنوان یکی از مقدمه های استدلال در نظر گرفت و تنها حکم استلزام حکم (در اینجا p) را ثابت نمود. در نتیجه شکل استدلال به صورت زیر می شود :

[tex]u\: \longrightarrow\: r,\: (r∧s)→(p∨w),q→(u∧s),\neg w,q\: \dashv\: p[/tex]

حالا راستگویی این استلزام را ثابت خواهیم کرد :

(۱) q --- مقدمه
(۲) q→u∧s --- مقدمه
(۳) u∧s --- بر اساس (۱) و (۲) و قانون قیاس استثنایی
(۴) u→r --- مقدمه
(۵) u --- بر اساس (۳) و قانون ساده سازی عطفی
(۶) r --- بر اساس (۴) و (۵) و قانون قیاس استثنایی
(۷) s --- بر اساس (۳) و قانون ساده سازی عطفی
(۸) r∧s --- بر اساس (۶) و (۷) و قاعده ترکیب عطفی
(۹) (r∧s)→(p∨w) --- مقدمه
(۱۰) p∨w --- بر اساس (۸) و (۹) و قانون قیاس استثنایی
(۱۱) [tex]\neg w[/tex] --- مقدمه
(۱۲) p --- بر اساس (۱۰) و (۱۱) و قاعده قیاس فصلی

RE: یک سوال از استدلال استنتاجی!!!(help me plz) - fimen - 08 اردیبهشت ۱۳۹۳ ۰۹:۲۰ ب.ظ

خیلی ممنون
حالا با یه روش دیگه:چطور میتونم با اضافه کردن r∧q)→p)
به فرضیات درستی p رو نتیجه بگیرم؟

RE: یک سوال از استدلال استنتاجی!!!(help me plz) - Morris - 08 اردیبهشت ۱۳۹۳ ۰۹:۳۲ ب.ظ

(۰۸ اردیبهشت ۱۳۹۳ ۰۹:۲۰ ب.ظ)fimen نوشته شده توسط: خیلی ممنون
حالا با یه روش دیگه:چطور میتونم با اضافه کردن r∧q)→p)
به فرضیات درستی p رو نتیجه بگیرم؟

مقدمه های موجود کافی هستند. اضافه کردن مقدمه ای جدید لازم نیست. اگر ۹۰۰۰ مقدمه دیگر هم اضافه کنید باز هم اثبات فوق بر قرار می باشد.

RE: یک سوال از استدلال استنتاجی!!!(help me plz) - Jooybari - 09 اردیبهشت ۱۳۹۳ ۰۱:۱۵ ق.ظ

سلام. یک راه دیگش برهان خلفه که به این شکله:
فرض کنید حکم مسئله نادرسته.
به دنبال یه مقدار برای متغیرها باشیم که تمام فرضیاتمون درست بشه. اگه تونستیم تمام جملات رو درست بدست بیاریم پس استدلال نادرسته. درغیر این صورت استدلال درسته.

فرض میکنیم [tex]q\to p[/tex] نادرسته. پس q درست و p نادرست میشه.
سعی میکنیم تمام فرضیات رو به درست نسبت بدیم:
نقیض w درسته. پس w نادرسته.
[tex]q\to(u\wedge s)[/tex] درسته. میدونیم q درسته. پس u و s درستن.
[tex]u\to r[/tex] درسته. پس r هم درسته.
[tex](r\wedge s)\to(p\vee w)[/tex] درسته. با توجه به مقادیری که درنظر گرفتیم [tex]r\wedge s[/tex] درسته ولی [tex]p\vee w[/tex] نادرسته. پس کل عبارت نادرسته.
با توجه به اینکه یکی از جملات به نادرست رسید نتیجه میگیریم فرض اولیه ما غلط بوده و استدلالمون درسته.