۰
subtitle
ارسال: #۱
  
اثبات به کمک استنتاج
سلام. میشه راجب این مسئله یکم توضیح بدین؟
مثلا خط اولش چجوری حل میشه؟
تو قواعد استنتاج نیست اخه.
مثلا خط اولش چجوری حل میشه؟
تو قواعد استنتاج نیست اخه.
۱
ارسال: #۲
  
RE: اثبات به کمک استنتاج
بهترین روش برای حل این استنتاج برهان خلف است: حکم را نادرست فرض میکنیم و اگر استنتاج درست باشد باید در فرض به تناقض برسیم.
اینجا حکممون یک رابطه شرطی هست که بنا بر برهان خلف اون رو نا درست فرض میکنیم. یک رابطه شرطی در صورتی نا درست است که فرض آن درست و حکم آن نا درست باشت پس:
S=1 , P=0
حالا از سطر آخر بریم بالا
خودش گفته که :
T=0
در سطر بعد میدانیم که P=0 پس نات پی برابر یک است و در نتیجه لزوما حکم باید درست باشد پس:
r=1
سطر بعد: میگه یا T یا نات q یکی یا هر دو درست هستند. T رو که بهش رسیدیم که ارزشش صفر هست. حالا پس نات کیو باید درست باشه در نتیجه:
q=0
سطر بعد:
حال که همه متغیر های سطر یک بدست آمدند جایگذاری میکنیم:
(۰ <- 1) <- 1
ارزش این گزاره صفر است پس در فرض به تناقض خوردیم در نتیجه بنا بر برهان خلف استنتاج درست است.
اینجا حکممون یک رابطه شرطی هست که بنا بر برهان خلف اون رو نا درست فرض میکنیم. یک رابطه شرطی در صورتی نا درست است که فرض آن درست و حکم آن نا درست باشت پس:
S=1 , P=0
حالا از سطر آخر بریم بالا
خودش گفته که :
T=0
در سطر بعد میدانیم که P=0 پس نات پی برابر یک است و در نتیجه لزوما حکم باید درست باشد پس:
r=1
سطر بعد: میگه یا T یا نات q یکی یا هر دو درست هستند. T رو که بهش رسیدیم که ارزشش صفر هست. حالا پس نات کیو باید درست باشه در نتیجه:
q=0
سطر بعد:
حال که همه متغیر های سطر یک بدست آمدند جایگذاری میکنیم:
(۰ <- 1) <- 1
ارزش این گزاره صفر است پس در فرض به تناقض خوردیم در نتیجه بنا بر برهان خلف استنتاج درست است.
۰
ارسال: #۳
  
RE: اثبات به کمک استنتاج
Can I see some ID?
Feeling left out?
نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close