تالار گفتمان مانشت

نسخه‌ی کامل: اثبات به کمک استنتاج
شما در حال مشاهده‌ی نسخه‌ی متنی این صفحه می‌باشید. مشاهده‌ی نسخه‌ی کامل با قالب بندی مناسب.
سلام. میشه راجب این مسئله یکم توضیح بدین؟
مثلا خط اولش چجوری حل میشه؟
تو قواعد استنتاج نیست اخه. Huh
[تصویر:  478021_6eqp_screenshot_20201115_032610_c...s.docs.jpg]
بهترین روش برای حل این استنتاج برهان خلف است: حکم را نادرست فرض میکنیم و اگر استنتاج درست باشد باید در فرض به تناقض برسیم.
اینجا حکممون یک رابطه شرطی هست که بنا بر برهان خلف اون رو نا درست فرض میکنیم. یک رابطه شرطی در صورتی نا درست است که فرض آن درست و حکم آن نا درست باشت پس:
S=1 , P=0
حالا از سطر آخر بریم بالا
خودش گفته که :
T=0
در سطر بعد میدانیم که P=0 پس نات پی برابر یک است و در نتیجه لزوما حکم باید درست باشد پس:
r=1
سطر بعد: میگه یا T یا نات q یکی یا هر دو درست هستند. T رو که بهش رسیدیم که ارزشش صفر هست. حالا پس نات کیو باید درست باشه در نتیجه:
q=0
سطر بعد:
حال که همه متغیر های سطر یک بدست آمدند جایگذاری میکنیم:
(0 <- 1) <- 1
ارزش این گزاره صفر است پس در فرض به تناقض خوردیم در نتیجه بنا بر برهان خلف استنتاج درست است.
(25 آبان 1399 04:35 ق.ظ)Xzrix نوشته شده توسط: [ -> ]سلام. میشه راجب این مسئله یکم توضیح بدین؟
مثلا خط اولش چجوری حل میشه؟
تو قواعد استنتاج نیست اخه. Huh
[تصویر:  478027_6eqp_screenshot_20201115_032610_c...s.docs.jpg]
[تصویر:  478027_gd8_untitled0.png]
لینک مرجع