۰
subtitle
ارسال: #۱
  
تبدیل به منطق رتبه اول و ریسولوشن زدن
سلام بچه ها. اگه کسی جواب سوال ۵ این نمونه سوال رو بلده بذاره لطفا. من فردا امتحان هوش دارم شاید همین سوال بیاد تو امتحان.مرسی...
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمیباشید. جهت مشاهده پیوندها ثبت نام کنید.
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمیباشید. جهت مشاهده پیوندها ثبت نام کنید.
۰
ارسال: #۲
  
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]
جملات سوم و چهارم هم که کاری ندارن.
مسند [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]
جملات سوم و چهارم هم که کاری ندارن.
ارسال: #۳
  
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]
جملات سوم و چهارم هم که کاری ندارن.
اگه ممکنه جواب ۲ قسمت آخر رو هم بنویسید...
من تازه این فصل رو خوندم هنوز مسلط به تبدیل منطق نیستم
ممنون میشم.
Can I see some ID?
Feeling left out?
نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close