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

در منطق مرتبه اول منظور از تقلیل به استنتاج گزاره ای چیه؟

ارسال:
  

شیوا۸۸ پرسیده:

در منطق مرتبه اول منظور از تقلیل به استنتاج گزاره ای چیه؟

سلام دوستان در منطق مرتبه اول منظور از تقلیل به استنتاج گزاره ای چیه؟
لطفا راهنمایی کنید
سپاس

۰
ارسال:
  

fe_atash پاسخ داده:

منطق متبه اول

از رو چه کتابی میخونید؟
هوش پوران صفحه ۲۱۳ توضیح داده...البته تو همه کتابا توضیحش هست...

اولین راه استنتاج تو منطق مرتبه اول همینه که سورهاشو حذف کنیم تا فقط گذاره‌ها بمونن...بعد با منطق گذاره ای اسنتاج کنیم.
که برای حذف سورها دو قانون داریم:۱/قانون نمونه سازی عمومی و ۲/قانون نمونه سازی وجودی

قانون نمونه سازی عمومی میتونه چندبار بر جمله سور ِ عمومی دار اعمال بشه و نتایج مختلفی بده
در جمله آلفا که سور عمومی داره.یک متغیر مثل v داریم. و یک ترم زمینی مثل g هم داریم.که این متغیر v رو با اون ترم g جایگزین میکنیم و سور عمومی رو حذف میکنیم.

اما قانون نمونه سازی وجودی فقط یک بار بر جمله ای که سور وجودی داره اعمال میشه..یک نام جدید رو جایگزین متغیر عبارتی که سور وجودی داره می کنیم و سورش رو حذف میکنیم.
به این نام جدید که قبلاً تو KB نبوده.ثابته اسکولم میگیم.

۰
ارسال:
  

marzieh پاسخ داده:

منطق متبه اول

فکر می کنم منظور از بین بردن سورها باشه

۰
ارسال:
  

fe_atash پاسخ داده:

منطق متبه اول

بله درسته..منظورش حذف سور عمومی و وجودی هست.

ارسال:
  

پشتکار پاسخ داده:

RE: منطق متبه اول

(۱۵ دى ۱۳۹۰ ۰۷:۵۵ ب.ظ)fe_atash نوشته شده توسط:  بله درسته..منظورش حذف سور عمومی و وجودی هست.

یعنی چطوری؟
میشه بیشتر توضیح بدهید؟
مرسی
یافتن تمامی ارسال‌های این کاربر

۰
ارسال:
  

پشتکار پاسخ داده:

منطق متبه اول

آها
من فکر کردم مبحث گسسته هستش
راستی توی گسسته هم همچین سوالاتی ممکنه بیاد؟

۰
ارسال:
  

fatima1537 پاسخ داده:

منطق متبه اول

(۱۹ دى ۱۳۹۰ ۰۸:۱۹ ب.ظ)پشتکار نوشته شده توسط:  راستی توی گسسته هم همچین سوالاتی ممکنه بیاد؟
بیشتر توی علوم کامپیوتر و آی تی آمده

۰
ارسال:
  

fe_atash پاسخ داده:

منطق متبه اول

(۱۹ دى ۱۳۹۰ ۰۸:۱۹ ب.ظ)پشتکار نوشته شده توسط:  آها
من فکر کردم مبحث گسسته هستش
راستی توی گسسته هم همچین سوالاتی ممکنه بیاد؟
نه من واقعا بعید میدونم تو گسسته بیاد



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  حل مساله مرتبه زمانی حلقه های تو در تو sarashahi ۱۶ ۷,۵۴۷ ۱۹ خرداد ۱۳۹۹ ۰۱:۱۶ ب.ظ
آخرین ارسال: gillda
  تفاوت classification algorithm و regression algorithm چیه؟ sajadg ۵ ۱,۶۳۵ ۲۷ اردیبهشت ۱۳۹۹ ۰۴:۱۳ ب.ظ
آخرین ارسال: golia70
  مشکل در حل تست ۲۲ فصل اول کتاب گسسته یوسفی pure.yaser ۷ ۲,۲۸۴ ۰۹ اردیبهشت ۱۳۹۹ ۰۶:۵۴ ب.ظ
آخرین ارسال: mohsentafresh
  مرتبه زمانی Sanazzz ۱۷ ۵,۲۶۳ ۰۹ اردیبهشت ۱۳۹۹ ۰۶:۴۶ ب.ظ
آخرین ارسال: mohsentafresh
  فرق site.ir/forum با forum.site.ir چیه ؟ simorghsimorgh ۵ ۱,۹۱۷ ۱۴ بهمن ۱۳۹۸ ۰۱:۴۸ ب.ظ
آخرین ارسال: unipaper
  مرتبه زمانی یافتن قطر Sepideh96 ۲ ۹۹۵ ۰۸ آذر ۱۳۹۸ ۰۴:۳۴ ب.ظ
آخرین ارسال: erfan30
  بهترین کتاب یا پکیج آموزشی برای یادگیری فن ترجمه انگلیسی چیه؟ saeid4x ۷ ۱,۷۱۹ ۰۶ آبان ۱۳۹۸ ۰۲:۵۶ ق.ظ
آخرین ارسال: marvelous
  راهنمایی انتخاب واحد ترم اول، ارشد نرم، مباحث بیگ دیتا و دیتابیس arian_61 ۱ ۵۵۴ ۲۵ شهریور ۱۳۹۸ ۱۰:۴۱ ب.ظ
آخرین ارسال: arian_61
  ساختمان داده پوران، فصل اول، راهنمایی برای حل یک مثال ساده marvelous ۲ ۷۷۱ ۲۲ مرداد ۱۳۹۸ ۰۳:۳۰ ب.ظ
آخرین ارسال: marvelous
  در حال حاضر بهترین منبع برای هوش مصنوعی چیه؟ Mehdi.Sarf ۴ ۲,۴۶۶ ۱۳ مرداد ۱۳۹۸ ۰۲:۳۴ ق.ظ
آخرین ارسال: marvelous

پرش به انجمن:

Can I see some ID?

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

Feeling left out?


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

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

Feeling left out?


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