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

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

ارسال:
  

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

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

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

۰
ارسال:
  

fe_atash پاسخ داده:

منطق متبه اول

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

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

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

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

۰
ارسال:
  

marzieh پاسخ داده:

منطق متبه اول

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

۰
ارسال:
  

fe_atash پاسخ داده:

منطق متبه اول

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

ارسال:
  

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

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

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

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

۰
ارسال:
  

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

منطق متبه اول

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

۰
ارسال:
  

fatima1537 پاسخ داده:

منطق متبه اول

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

۰
ارسال:
  

fe_atash پاسخ داده:

منطق متبه اول

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



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

پرش به انجمن:

Can I see some ID?

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

Feeling left out?


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

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

Feeling left out?


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