زمان کنونی: ۱۰ فروردین ۱۴۰۳, ۱۲:۲۶ ق.ظ مهمان گرامی به انجمن مانشت خوش آمدید. برای استفاده از تمامی امکانات انجمن می‌توانید عضو شوید.
گزینه‌های شما (ورودثبت نام)

اثبات به کمک استنتاج

ارسال:
  

Xzrix پرسیده:

اثبات به کمک استنتاج

سلام. میشه راجب این مسئله یکم توضیح بدین؟
مثلا خط اولش چجوری حل میشه؟
تو قواعد استنتاج نیست اخه. 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
ارزش این گزاره صفر است پس در فرض به تناقض خوردیم در نتیجه بنا بر برهان خلف استنتاج درست است.
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

ghaderZ پاسخ داده:

RE: اثبات به کمک استنتاج

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



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  اثبات بومی بودن sirvan.t ۸ ۵,۱۴۷ ۱۰ اسفند ۱۳۹۸ ۰۹:۴۶ ب.ظ
آخرین ارسال: WILL
  ارتباط دائم بین سیستم استنتاج فازی و یک نرم افزار دیگر fa_karoon ۱ ۲,۳۱۳ ۱۵ اردیبهشت ۱۳۹۸ ۱۱:۱۲ ق.ظ
آخرین ارسال: fa_karoon
Exclamation کمک کمک کمک در مورد ادامه تحصیل در مقطع دکتری !!! aminomidi ۳ ۴,۲۶۰ ۱۷ مهر ۱۳۹۷ ۰۵:۴۵ ب.ظ
آخرین ارسال: negarin_
  کمک کمک : دوستان به نظرتون این سوال ها رو از کدوم منبع آوردند؟؟؟؟؟ امیدوار ۰ ۱,۷۰۴ ۰۳ آبان ۱۳۹۶ ۰۹:۰۷ ب.ظ
آخرین ارسال: امیدوار
  این روش برای اثبات پایایی یک مقاله صحیحه؟ zohre321 ۴ ۳,۸۷۷ ۱۹ خرداد ۱۳۹۶ ۰۵:۰۶ ب.ظ
آخرین ارسال: lili36
Photo استنتاج در منطق مرتبه اول - ارشد ۹۵ آی تی hamedy20 ۱ ۱,۷۸۷ ۲۰ بهمن ۱۳۹۵ ۰۱:۰۰ ب.ظ
آخرین ارسال: M a h d i
  حل تست سوال ۱۲۱ هوش ۹۴(بخش استنتاج در منطق مرتبه ی اول) mahyamk ۱ ۲,۲۸۷ ۰۴ بهمن ۱۳۹۵ ۰۱:۵۸ ق.ظ
آخرین ارسال: M a h d i
  اثبات np- complete بودن یک پازل؟ فوریییی baharkhanoom ۰ ۱,۵۷۲ ۲۹ آذر ۱۳۹۵ ۰۷:۲۵ ب.ظ
آخرین ارسال: baharkhanoom
  مشکل در حل سوالات استنتاج sMohammad ۳ ۲,۲۱۷ ۲۴ آبان ۱۳۹۵ ۰۱:۵۴ ق.ظ
آخرین ارسال: sMohammad
  کمک در مورد اثبات قضایا در مدیریت تراکنشها peresfone ۰ ۱,۳۹۶ ۲۰ خرداد ۱۳۹۵ ۱۰:۳۴ ب.ظ
آخرین ارسال: peresfone

پرش به انجمن:

Can I see some ID?

به خاطر سپاری رمز Cancel

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close

رمزت رو فراموش کردی؟

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. close