(۲۷ بهمن ۱۳۹۳ ۰۸:۳۳ ب.ظ)farzinf نوشته شده توسط: (27 بهمن ۱۳۹۳ ۰۸:۱۰ ب.ظ)pooyaa نوشته شده توسط: (27 بهمن ۱۳۹۳ ۱۱:۰۸ ق.ظ)maryam.roshan نوشته شده توسط: سوال ۱۲۰ هوش غلطه .
اگر عبارت زیر رو ره cnf تبدیل کنیم گزینه ۳ میشه
[tex]\neg\exists x\forall t(food(x)->like(x,t))[/tex]
[tex]\neg\exists x\forall t(\neg food(x)\vee like(x,t))[/tex]
[tex]\neg\exists x(\neg food(x)\vee like(x,f(x)))[/tex]
[tex]\forall x\neg(\neg food(x)\vee like(x,f(x)))[/tex]
اعمال نقیض به داخل پرانتز و حذف سور عمومی
[tex]food(x)\wedge\neg like(x,f(x))[/tex]
طبق دفترچه c:
من هم با شما موافقم و گزینه ۳ برای سوال ۱۲۰درست هست
سوال ۶۳هم گزینه۲ میشه
سوال ۷۲ هم جواب در گزینه ها نیست
سوال ۱۱۷ هم پیاده سازیهای مختلفی داره و دارای ابهام هست لذا گزینه ۱و۲نیز میتونه درست باشه
بچه ها لطفا همه هماهنگ شیم و اعتراض بزنیم که حق کسی ضایع نشه
ایشالا همه پیگیری کنیم تا حق کسی ضایع نشه چون ۸ونیم درصد واقعا درصد کمی نیست
خوب اون عبارت بالایی که نوشته شده در منطق مرتبه اول .. اصلا اون چیزی نیست که سوال خواسته .. در عبارتی که بالا نوشته شده .. این گفته میشه .. ((هیچ غذایی وجود ندارد که همه اشخاص آن را دوس داشته باشند)) این یعنی این که ((حداقل یک نوع غذا وجود دارد که همه اشخاص آن را دوست ندارند )) ...
در حالی که در صورت سوال گفته شده ((هیچ نوع غذایی را همه اشخاص دوست ندارند)) یعنی اینکه (( به ازای هر غذا حداقل یک نفر وجود دارد که آن غذا را دوست نداشته باشد)) ..
پس می بینید عبارتی که بالا نوشته شده با عبارتی که سوال خواسته چقدر متفاوت هست ... اگر خواستید صورت مرتبه اولش رو هم حل کرده و میدم خدمتتون
سوال ۱۲۰ اینطوری حل میشه و به درست بودنش مطمئن هستم ... عکس همراه پست پیوست شده ..
در صورت سوال گفته شده ((هیچ نوع غذایی را همه اشخاص دوست ندارند)) یعنی اینکه (( به ازای هر غذا حداقل یک نفر وجود دارد که آن غذا را دوست نداشته باشد)) .. پس این مطلب به صورت زیر در منطق مرتبه اول نمایش داده میشه ... که بعد از اسکولم سازی جواب حاصل میشه ...
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمیباشید. جهت مشاهده پیوندها ثبت نام کنید.
نتیجه حاصل به این معنی هست که ((یا x غذا نیست یا کسی وجود دارد که آن را دوست ندارد)) که کاملا مطابق با چیزی هست که خواسته شده ...
به نظر من هم سوال ۱۲۰ گزینه ۳ درسته چون:
مراحل تبدیل به CNF در منطق مرتبه اول به صورت زیر هست:
که برای مثال "هر کسی که تمام حیوانات را دوست دارد توسط فرد دیگری دوست داشته می شود" به صورت زیر به CNF تبدیل می شود:
همانطور که میبینیم سور وجودی متغیر z پس از مرحله استانداردسازی به داخلی ترین جمله مربوط به خودش اورده شده در حالی که سوال ۱۲۰ مثل کادر قرمزی که کشیدم میشه در واقع همون اثبات دوست اولمون درسته یعنی:
[tex]\neg\exists x\forall t(food(x)->like(x,t))[/tex]
[tex]\neg\exists x\forall t(\neg food(x)\vee like(x,t))[/tex]
[tex]\neg\exists x(\neg food(x)\vee like(x,f(x)))[/tex]
[tex]\forall x\neg(\neg food(x)\vee like(x,f(x)))[/tex]
اعمال نقیض به داخل پرانتز و حذف سور عمومی
[tex]food(x)\wedge\neg like(x,f(x))[/tex]
نه اثبات شما که به صورت زیر هست: