سلام دوستان در منطق مرتبه اول منظور از تقلیل به استنتاج گزاره ای چیه؟
لطفا راهنمایی کنید
سپاس
فکر می کنم منظور از بین بردن سورها باشه
بله درسته..منظورش حذف سور عمومی و وجودی هست.
(۱۵ دى ۱۳۹۰ ۰۷:۵۵ ب.ظ)fe_atash نوشته شده توسط: بله درسته..منظورش حذف سور عمومی و وجودی هست.
یعنی چطوری؟
میشه بیشتر توضیح بدهید؟
مرسی
از رو چه کتابی میخونید؟
هوش پوران صفحه ۲۱۳ توضیح داده...البته تو همه کتابا توضیحش هست...
اولین راه استنتاج تو منطق مرتبه اول همینه که سورهاشو حذف کنیم تا فقط گذاره‌ها بمونن...بعد با منطق گذاره ای اسنتاج کنیم.
که برای حذف سورها دو قانون داریم:۱/قانون نمونه سازی عمومی و ۲/قانون نمونه سازی وجودی
قانون نمونه سازی عمومی میتونه چندبار بر جمله سور ِ عمومی دار اعمال بشه و نتایج مختلفی بده
در جمله آلفا که سور عمومی داره.یک متغیر مثل v داریم. و یک ترم زمینی مثل g هم داریم.که این متغیر v رو با اون ترم g جایگزین میکنیم و سور عمومی رو حذف میکنیم.
اما قانون نمونه سازی وجودی فقط یک بار بر جمله ای که سور وجودی داره اعمال میشه..یک نام جدید رو جایگزین متغیر عبارتی که سور وجودی داره می کنیم و سورش رو حذف میکنیم.
به این نام جدید که قبلاً تو KB نبوده.ثابته اسکولم میگیم.
آها
من فکر کردم مبحث گسسته هستش
راستی توی گسسته هم همچین سوالاتی ممکنه بیاد؟
(۱۹ دى ۱۳۹۰ ۰۸:۱۹ ب.ظ)پشتکار نوشته شده توسط: راستی توی گسسته هم همچین سوالاتی ممکنه بیاد؟بیشتر توی علوم کامپیوتر و آی تی آمده
(۱۹ دى ۱۳۹۰ ۰۸:۱۹ ب.ظ)پشتکار نوشته شده توسط: آهانه من واقعا بعید میدونم تو گسسته بیاد
من فکر کردم مبحث گسسته هستش
راستی توی گسسته هم همچین سوالاتی ممکنه بیاد؟