سوال از منطق مرتبه اول - نسخه‌ی قابل چاپ

سوال از منطق مرتبه اول - ۸Operation - 16 آذر ۱۳۹۱ ۱۲:۴۸ ب.ظ دوستان عزیز به نظر شما پاسخ گزینه یک نیست؟! ممنون میشم راهنمایی کنید

سوال از منطق مرتبه اول - fatima1537 - 17 آذر ۱۳۹۱ ۱۱:۲۹ ب.ظ گزینه۱ زنجیره سازی روبه جلو و رو به عقب بر اساس modus ponens یا انتزاع تعمیم یافته است. گزینه ۲ هم به نظر من کاملا درسته.چون در زنجیره جلورو با استفاده از قوانین انتزاع تعمیم یافته ، حقایق جدیدی بوجود میان گزینه ۳ به نظر من صحیح نیست و عکس این حالت هست.یعنی جلوروو قتی استفاده میشه که هدفی هست و میخواهیم درستی اون هدف را اثبات کنیم و تا زمانی پیش میریم که یا به هدف برسیم یا دیگر قوانینی برای اثبات هدف ما موجود نباشه گزینه ۴ هم کاملا درسته و تعریف روش زنجیر عقب رو هست

سوال از منطق مرتبه اول - aida fazeli - 18 آذر ۱۳۹۱ ۱۲:۵۳ ق.ظ در زنجیره سازی پیشرو نیاز به هدف نداریم و خودمون با حقایق به هدف میرسیم.مزیت پیشرو عدم نیاز به هدفه.(طبق جزوه استاد عباد زاده عرض کردم)

سوال از منطق مرتبه اول - ۸Operation - 21 آذر ۱۳۹۱ ۰۶:۳۷ ب.ظ ممنون از دوستان عزیز پاسخ سوال در آزمون پارسه گزینه ۲ هستش!که مشخصه کاملا اشتباهه! به نظر من گزینه صحیح بین ۱ و ۳ هستش! از طرفی چیزی که ابهام ایجاد می کنه روی گزینه ۳ اینه که زنجیره رو به جلو مبتنی بر گزاره هستش نه هدف! و میشه اینطور استنباط کرد که زمانی که هدفی وجود داره بهتره از زنجیره رو به عقب که مبتنی بر هدف هستش استفاده کرد! در مورد گزینه یک به نظر من لزومی نداره که ما از modus ponens حتما استفاده کنیم و میشه از سایر قوانین استفاده کرد! من بازم به نظرم در این سوال نچندان استاندارد گزینه یک صحیح تره!

سوال از منطق مرتبه اول - sa123 - 11 دى ۱۳۹۱ ۰۹:۳۴ ب.ظ گزینه ۱ کاملا صحیحه ، چون در فصل ۷ ام کتاب ما فقط از ۲ قاعده ی modes ponens و resolution استفاده می کنیم و طبق گفته ی استاد بنده (دکتر رضوی ) الگوریتم های استنتاجیه رو به جلو و رو به عقب از قاعده ی modes ponens استفاده می کنند و الگوریتم رزولوشن هم از قاهدع ی هم نام خودش. به نظر من هم گزینه ۳ پاسخ این تسته