تالار گفتمان مانشت
اثبات به کمک استنتاج - نسخه‌ی قابل چاپ

اثبات به کمک استنتاج - Xzrix - 25 آبان ۱۳۹۹ ۰۴:۳۵ ق.ظ

سلام. میشه راجب این مسئله یکم توضیح بدین؟
مثلا خط اولش چجوری حل میشه؟
تو قواعد استنتاج نیست اخه. Huh
[تصویر:  478021_6eqp_screenshot_20201115_032610_c...s.docs.jpg]

RE: اثبات به کمک استنتاج - عزیز دادخواه - ۲۵ آبان ۱۳۹۹ ۰۳:۴۵ ب.ظ

بهترین روش برای حل این استنتاج برهان خلف است: حکم را نادرست فرض میکنیم و اگر استنتاج درست باشد باید در فرض به تناقض برسیم.
اینجا حکممون یک رابطه شرطی هست که بنا بر برهان خلف اون رو نا درست فرض میکنیم. یک رابطه شرطی در صورتی نا درست است که فرض آن درست و حکم آن نا درست باشت پس:
S=1 , P=0
حالا از سطر آخر بریم بالا
خودش گفته که :
T=0
در سطر بعد میدانیم که P=0 پس نات پی برابر یک است و در نتیجه لزوما حکم باید درست باشد پس:
r=1
سطر بعد: میگه یا T یا نات q یکی یا هر دو درست هستند. T رو که بهش رسیدیم که ارزشش صفر هست. حالا پس نات کیو باید درست باشه در نتیجه:
q=0
سطر بعد:
حال که همه متغیر های سطر یک بدست آمدند جایگذاری میکنیم:
(۰ <- 1) <- 1
ارزش این گزاره صفر است پس در فرض به تناقض خوردیم در نتیجه بنا بر برهان خلف استنتاج درست است.

RE: اثبات به کمک استنتاج - ghaderZ - 26 آبان ۱۳۹۹ ۱۱:۴۶ ب.ظ

(۲۵ آبان ۱۳۹۹ ۰۴:۳۵ ق.ظ)Xzrix نوشته شده توسط:  سلام. میشه راجب این مسئله یکم توضیح بدین؟
مثلا خط اولش چجوری حل میشه؟
تو قواعد استنتاج نیست اخه. Huh
[تصویر:  478027_6eqp_screenshot_20201115_032610_c...s.docs.jpg]
[تصویر:  478027_gd8_untitled0.png]