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

تبدیل به منطق رتبه اول و ریسولوشن زدن

ارسال:
  

fatima_nik پرسیده:

Exclamation تبدیل به منطق رتبه اول و ریسولوشن زدن

سلام بچه ها. اگه کسی جواب سوال ۵ این نمونه سوال رو بلده بذاره لطفا. من فردا امتحان هوش دارم شاید همین سوال بیاد تو امتحان.مرسی...

مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.

۰
ارسال:
  

mfXpert پاسخ داده:

RE: تبدیل به منطق رتبه اول و ریسولوشن زدن

جواب قسمت الف)

مسند [tex]P(x)[/tex]‌: دانش آموز x نمره ۲۰ دارد.
مسند [tex]G(x)[/tex]‌: دانش آموز x خوب است.
مسند [tex]R(x,c)[/tex]‌: دانش آموز x در درس c رد شده است.

مسند معادل با جمله اول:
[tex]\forall x:Student\{P(x)\Rightarrow G(x\})[/tex]
مسند معادل با جمله دوم:
[tex]\forall x:Student\{G(x)\Rightarrow \forall c:Course.not\ R(x,c)\}[/tex]
مسند معادل با جمله سوم:
[tex]\forall x:Student\{not\ G(x)\Rightarrow \exists c:Course.R(x,c)\}[/tex]

جملات سوم و چهارم هم که کاری ندارن.

ارسال:
  

sa123 پاسخ داده:

RE: تبدیل به منطق رتبه اول و ریسولوشن زدن

(۰۷ بهمن ۱۳۹۰ ۰۴:۵۹ ب.ظ)mfXpert نوشته شده توسط:  جواب قسمت الف)

مسند [tex]P(x)[/tex]‌: دانش آموز x نمره ۲۰ دارد.
مسند [tex]G(x)[/tex]‌: دانش آموز x خوب است.
مسند [tex]R(x,c)[/tex]‌: دانش آموز x در درس c رد شده است.

مسند معادل با جمله اول:
[tex]\forall x:Student\{P(x)\Rightarrow G(x\})[/tex]
مسند معادل با جمله دوم:
[tex]\forall x:Student\{G(x)\Rightarrow \forall c:Course.not\ R(x,c)\}[/tex]
مسند معادل با جمله سوم:
[tex]\forall x:Student\{not\ G(x)\Rightarrow \exists c:Course.R(x,c)\}[/tex]

جملات سوم و چهارم هم که کاری ندارن.

اگه ممکنه جواب ۲ قسمت آخر رو هم بنویسید... Blush
من تازه این فصل رو خوندم هنوز مسلط به تبدیل منطق نیستم
ممنون میشم. Shy
یافتن تمامی ارسال‌های این کاربر



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  منابع درسی اول دبیرستان azaaadeh457 ۱ ۱,۰۲۸ ۰۴ دى ۱۴۰۱ ۱۰:۲۱ ب.ظ
آخرین ارسال: HamidReza1
Exclamation سلام لطفاً یکی به من بگه مرتبه زمانی ها چطوری به log تبدیل میشن فرمول داره؟؟ Azadam ۶ ۳,۸۳۹ ۰۶ دى ۱۴۰۰ ۰۹:۰۲ ق.ظ
آخرین ارسال: Soldier's life
  مرخصی در ترم اول و سپس انصراف MSZ ۱۷ ۳۹,۴۲۰ ۱۷ بهمن ۱۳۹۹ ۰۱:۵۷ ق.ظ
آخرین ارسال: hmaryam567
  مشکل در حل تست ۲۲ فصل اول کتاب گسسته یوسفی pure.yaser ۷ ۸,۳۲۰ ۰۹ اردیبهشت ۱۳۹۹ ۰۶:۵۴ ب.ظ
آخرین ارسال: mohsentafresh
  راهنمایی انتخاب واحد ترم اول، ارشد نرم، مباحث بیگ دیتا و دیتابیس arian_61 ۱ ۲,۵۱۶ ۲۵ شهریور ۱۳۹۸ ۱۰:۴۱ ب.ظ
آخرین ارسال: arian_61
  تبدیل به pdf homeless ۲ ۳,۰۱۷ ۳۱ مرداد ۱۳۹۸ ۰۹:۴۱ ب.ظ
آخرین ارسال: homeless
  ساختمان داده پوران، فصل اول، راهنمایی برای حل یک مثال ساده marvelous ۲ ۲,۶۱۸ ۲۲ مرداد ۱۳۹۸ ۰۳:۳۰ ب.ظ
آخرین ارسال: marvelous
  کمک در تبدیل به فرم گریباخ hadizd ۳ ۳,۴۹۶ ۲۶ خرداد ۱۳۹۸ ۰۴:۲۸ ب.ظ
آخرین ارسال: hadizd
  راهنمایی در مورد دروس ترم اول هوش sina_bhh ۴۷ ۳۴,۶۵۲ ۲۰ آذر ۱۳۹۷ ۰۵:۳۷ ب.ظ
آخرین ارسال: Arezouuu
  نکات کلیدی در چاپ کاتالوگ (قسمت اول) melinaa ۰ ۱,۷۴۶ ۰۴ شهریور ۱۳۹۷ ۱۰:۲۸ ق.ظ
آخرین ارسال: melinaa

پرش به انجمن:

Can I see some ID?

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

Feeling left out?


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

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

Feeling left out?


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