۰
subtitle
ارسال: #۱
  
در منطق مرتبه اول منظور از تقلیل به استنتاج گزاره ای چیه؟
سلام دوستان در منطق مرتبه اول منظور از تقلیل به استنتاج گزاره ای چیه؟
لطفا راهنمایی کنید
سپاس
لطفا راهنمایی کنید
سپاس
۰
ارسال: #۲
  
منطق متبه اول
از رو چه کتابی میخونید؟
هوش پوران صفحه ۲۱۳ توضیح داده...البته تو همه کتابا توضیحش هست...
اولین راه استنتاج تو منطق مرتبه اول همینه که سورهاشو حذف کنیم تا فقط گذارهها بمونن...بعد با منطق گذاره ای اسنتاج کنیم.
که برای حذف سورها دو قانون داریم:۱/قانون نمونه سازی عمومی و ۲/قانون نمونه سازی وجودی
قانون نمونه سازی عمومی میتونه چندبار بر جمله سور ِ عمومی دار اعمال بشه و نتایج مختلفی بده
در جمله آلفا که سور عمومی داره.یک متغیر مثل v داریم. و یک ترم زمینی مثل g هم داریم.که این متغیر v رو با اون ترم g جایگزین میکنیم و سور عمومی رو حذف میکنیم.
اما قانون نمونه سازی وجودی فقط یک بار بر جمله ای که سور وجودی داره اعمال میشه..یک نام جدید رو جایگزین متغیر عبارتی که سور وجودی داره می کنیم و سورش رو حذف میکنیم.
به این نام جدید که قبلاً تو KB نبوده.ثابته اسکولم میگیم.
هوش پوران صفحه ۲۱۳ توضیح داده...البته تو همه کتابا توضیحش هست...
اولین راه استنتاج تو منطق مرتبه اول همینه که سورهاشو حذف کنیم تا فقط گذارهها بمونن...بعد با منطق گذاره ای اسنتاج کنیم.
که برای حذف سورها دو قانون داریم:۱/قانون نمونه سازی عمومی و ۲/قانون نمونه سازی وجودی
قانون نمونه سازی عمومی میتونه چندبار بر جمله سور ِ عمومی دار اعمال بشه و نتایج مختلفی بده
در جمله آلفا که سور عمومی داره.یک متغیر مثل v داریم. و یک ترم زمینی مثل g هم داریم.که این متغیر v رو با اون ترم g جایگزین میکنیم و سور عمومی رو حذف میکنیم.
اما قانون نمونه سازی وجودی فقط یک بار بر جمله ای که سور وجودی داره اعمال میشه..یک نام جدید رو جایگزین متغیر عبارتی که سور وجودی داره می کنیم و سورش رو حذف میکنیم.
به این نام جدید که قبلاً تو KB نبوده.ثابته اسکولم میگیم.
۰
۰
ارسال: #۵
  
RE: منطق متبه اول
۰
ارسال: #۶
  
منطق متبه اول
آها
من فکر کردم مبحث گسسته هستش
راستی توی گسسته هم همچین سوالاتی ممکنه بیاد؟
من فکر کردم مبحث گسسته هستش
راستی توی گسسته هم همچین سوالاتی ممکنه بیاد؟
۰
ارسال: #۷
  
منطق متبه اول
۰
ارسال: #۸
  
منطق متبه اول
موضوعهای مرتبط با این موضوع... |
|||||
موضوع: | نویسنده | پاسخ: | بازدید: | آخرین ارسال | |
اثبات به کمک استنتاج | Xzrix | ۲ | ۲۰۳ |
۲۶ آبان ۱۳۹۹ ۱۱:۴۶ ب.ظ آخرین ارسال: ghaderZ |
|
مرتبه ایجاد درخت | rad.bahar | ۱ | ۳۰۷ |
۳۰ مهر ۱۳۹۹ ۰۳:۳۴ ب.ظ آخرین ارسال: rad.bahar |
|
مرتبه شبه کد | rad.bahar | ۱ | ۲۶۵ |
۲۲ مهر ۱۳۹۹ ۰۹:۳۲ ب.ظ آخرین ارسال: BBumir |
|
مرخصی در ترم اول و سپس انصراف | MSZ | ۱۶ | ۳۲,۵۰۲ |
۲۱ مهر ۱۳۹۹ ۱۱:۱۹ ب.ظ آخرین ارسال: Allen |
|
حل مساله مرتبه زمانی حلقه های تو در تو | sarashahi | ۱۶ | ۹,۳۶۷ |
۱۹ خرداد ۱۳۹۹ ۰۱:۱۶ ب.ظ آخرین ارسال: gillda |
|
تفاوت classification algorithm و regression algorithm چیه؟ | sajadg | ۵ | ۲,۲۲۷ |
۲۷ اردیبهشت ۱۳۹۹ ۰۴:۱۳ ب.ظ آخرین ارسال: golia70 |
|
مشکل در حل تست ۲۲ فصل اول کتاب گسسته یوسفی | pure.yaser | ۷ | ۲,۸۱۹ |
۰۹ اردیبهشت ۱۳۹۹ ۰۶:۵۴ ب.ظ آخرین ارسال: mohsentafresh |
|
مرتبه زمانی | Sanazzz | ۱۷ | ۶,۴۸۳ |
۰۹ اردیبهشت ۱۳۹۹ ۰۶:۴۶ ب.ظ آخرین ارسال: mohsentafresh |
|
فرق site.ir/forum با forum.site.ir چیه ؟ | simorghsimorgh | ۵ | ۲,۱۷۴ |
۱۴ بهمن ۱۳۹۸ ۰۱:۴۸ ب.ظ آخرین ارسال: unipaper |
|
مرتبه زمانی یافتن قطر | Sepideh96 | ۲ | ۱,۲۵۵ |
۰۸ آذر ۱۳۹۸ ۰۴:۳۴ ب.ظ آخرین ارسال: erfan30 |
Can I see some ID?
Feeling left out?
نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close