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

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

ارسال:
  

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

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

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

۰
ارسال:
  

fe_atash پاسخ داده:

منطق متبه اول

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

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

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

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

۰
ارسال:
  

marzieh پاسخ داده:

منطق متبه اول

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

۰
ارسال:
  

fe_atash پاسخ داده:

منطق متبه اول

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

ارسال:
  

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

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

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

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

۰
ارسال:
  

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

منطق متبه اول

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

۰
ارسال:
  

fatima1537 پاسخ داده:

منطق متبه اول

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

۰
ارسال:
  

fe_atash پاسخ داده:

منطق متبه اول

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



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  منابع درسی اول دبیرستان azaaadeh457 ۱ ۱,۰۲۸ ۰۴ دى ۱۴۰۱ ۱۰:۲۱ ب.ظ
آخرین ارسال: HamidReza1
Exclamation سلام لطفاً یکی به من بگه مرتبه زمانی ها چطوری به log تبدیل میشن فرمول داره؟؟ Azadam ۶ ۳,۸۳۹ ۰۶ دى ۱۴۰۰ ۰۹:۰۲ ق.ظ
آخرین ارسال: Soldier's life
  تفاوت classification algorithm و regression algorithm چیه؟ sajadg ۶ ۹,۰۸۳ ۱۵ خرداد ۱۴۰۰ ۰۱:۴۳ ب.ظ
آخرین ارسال: cyruskingsolomon
  مرخصی در ترم اول و سپس انصراف MSZ ۱۷ ۳۹,۴۲۰ ۱۷ بهمن ۱۳۹۹ ۰۱:۵۷ ق.ظ
آخرین ارسال: hmaryam567
  اثبات به کمک استنتاج Xzrix ۲ ۲,۷۲۷ ۲۶ آبان ۱۳۹۹ ۱۱:۴۶ ب.ظ
آخرین ارسال: ghaderZ
  مرتبه ایجاد درخت rad.bahar ۱ ۳,۰۲۳ ۳۰ مهر ۱۳۹۹ ۰۳:۳۴ ب.ظ
آخرین ارسال: rad.bahar
  مرتبه شبه کد rad.bahar ۱ ۲,۰۴۰ ۲۲ مهر ۱۳۹۹ ۰۹:۳۲ ب.ظ
آخرین ارسال: BBumir
  حل مساله مرتبه زمانی حلقه های تو در تو sarashahi ۱۶ ۲۱,۲۰۰ ۱۹ خرداد ۱۳۹۹ ۰۱:۱۶ ب.ظ
آخرین ارسال: gillda
  مشکل در حل تست ۲۲ فصل اول کتاب گسسته یوسفی pure.yaser ۷ ۸,۳۲۰ ۰۹ اردیبهشت ۱۳۹۹ ۰۶:۵۴ ب.ظ
آخرین ارسال: mohsentafresh
  مرتبه زمانی Sanazzz ۱۷ ۱۹,۱۲۹ ۰۹ اردیبهشت ۱۳۹۹ ۰۶:۴۶ ب.ظ
آخرین ارسال: mohsentafresh

پرش به انجمن:

Can I see some ID?

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

Feeling left out?


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

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

Feeling left out?


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