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

سئوال از استلزام منطقی در منطق گزاره ها

ارسال:
  

marzieh پرسیده:

سئوال از استلزام منطقی در منطق گزاره ها

برای حل این سوال چرا راه زیر جواب نمی ده:
گزینه ۱:
(a ^ B) V y= (~a V y) V (~B V y)~


فایل‌(های) پیوست شده

نقل قول این ارسال در یک پاسخ

۳
ارسال:
  

mosaferkuchulu پاسخ داده:

RE: سئوال از استلزام منطقی در منطق گزاره ها

من اینطوری استدلال کردم اگر اشتباه هست دوستان لطفا تذکر بدن:
قبل از بررسی گزینه ها یه اصل و یاد اوری کنم :اگر [tex]A\models B[/tex] باشه آنگاه [tex]A \wedge C\models B[/tex] که C می تونه هر چیزی باشه.

گزینه ی اول:
از سمت چپ می شه نتیجه گرفت که [tex]\alpha \models \gamma[/tex] و درست یا غلط بودن بتا اهمیتی نداره.
و یا [tex]\beta \models \gamma[/tex] و درست یا غلط الفا اهمیتی نداره.
سمت راست می گه اگر هر کدوم از الفا و یا بتا درست باشه گاما هم درسته. که این با سمت چپ یکی نیست در نتیجه این گزینه غلطه.

گزینه ی دوم:
از این گزینه می تونیم نتیجه بگیریم که گاما مستلزم بتا هست.
از سمت راست هم با توجه به اصلی که قبل از گزینه ها گفتم می تونیم باز نتیجه بگیریم که گاما مستلزم بتا هست.پس هر دو طرف معادل هستند و درسته.

گزینه ی سوم:
ازسمت چپ مثل گزینه ی الف.
سمت راست می گه گاما وقتی درسته که هم الفا و هم بتا درست باشند.اینم با سمت چپ یکی نیست چون سمت چپ می گه فقط اونی که گاما مستلزم اون هست باید درست باشه( اگر گاما مستلزم الفا ست فقط الفا درست باشه کافی و مقدار بتا اهمیت نداره و یا برعکس)
پس اینم غلطه.

گزینه ی ۴ هم به این دلیل غلطه که سمت راست باید طبق اصلی که اول گفتم به صورت [tex]\alpha\wedge \beta \models \gamma[/tex] باشه. نه [tex]\alpha\vee \beta \models \gamma[/tex]

پس گزینه ی دوم جواب درسته.
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

Masoud05 پاسخ داده:

RE: استلزام منطقی در منطق گزاره ها

روش تحلیلت اشتباه هست‌، استلزام رو اینطوری تبدیل نمیکنن( استلزام رو با <== قاطی نکن)
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

marzieh پاسخ داده:

استلزام منطقی در منطق گزاره ها

ممنونم. بله درست میگید. روش تحلیل استلزام چیه؟ باید درستی جمله a و در مدل b که b|=a بررسی کرد یا راه دیگه ای داره؟
نقل قول این ارسال در یک پاسخ

ارسال:
  

Masoud05 پاسخ داده:

RE: استلزام منطقی در منطق گزاره ها

(۰۷ دى ۱۳۹۰ ۱۲:۵۹ ب.ظ)marzieh نوشته شده توسط:  ممنونم. بله درست میگید. روش تحلیل استلزام چیه؟ باید درستی جمله a و در مدل b که b|=a بررسی کرد یا راه دیگه ای داره؟

از لحاظ مفهومی درست میگید . برای حل این تست پیشنهاد میکنم کتاب گسترش علوم پایه رو بررسی کنید . کلا حل تستش خیلی بهتره تا پوران . البته این تست هم فکر سخت ترین تست توی اون سال بوده چون یه جورایی با بقیه تست های این مبحث فرق داره . درضمن فکر کنم کتاب شما سپاهان باشه که نمی دونم حل تستش خوبه یا نه( اگه خوبه دیگه گسترش علوم پایه رو میتونی نگیری )
یافتن تمامی ارسال‌های این کاربر
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

marzieh پاسخ داده:

استلزام منطقی در منطق گزاره ها

بسیار ممنونم.. خداوند شما را خیر دهاد... کتابم تست های کنکور سال های گذشته مقسمی است.. می رم گسترش علوم پایه و تهیه می کنم Smile
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

nina69 پاسخ داده:

سئوال از استلزام منطقی در منطق گزاره ها

سلام
بچه ها کسی این سوال بلد نیست؟
نقل قول این ارسال در یک پاسخ



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  سوال ۱۱۵- مهندسی ۹۶- منطق مرتبه اول mzi ۰ ۱۲۶ ۲۱ فروردین ۱۳۹۷ ۰۵:۰۵ ب.ظ
آخرین ارسال: mzi
  سراسری ۸۸ - منطق مرتبه اول ali.majed.ha ۲ ۵۶۱ ۱۸ فروردین ۱۳۹۶ ۱۱:۳۹ ق.ظ
آخرین ارسال: ali.majed.ha
Photo استنتاج در منطق مرتبه اول - ارشد ۹۵ آی تی hamedy20 ۱ ۴۲۶ ۲۰ بهمن ۱۳۹۵ ۰۱:۰۰ ب.ظ
آخرین ارسال: M a h d i
  مهندسی کامپیوتر ۸۳ (سوال از منطق مرتبه ی اول) Hopegod ۷ ۸۳۶ ۱۲ بهمن ۱۳۹۵ ۱۰:۴۵ ب.ظ
آخرین ارسال: M a h d i
  حل تست سوال ۱۲۱ هوش ۹۴(بخش استنتاج در منطق مرتبه ی اول) mahyamk ۱ ۶۵۵ ۰۴ بهمن ۱۳۹۵ ۰۱:۵۸ ق.ظ
آخرین ارسال: M a h d i
  سوال فناوری اطلاعات ۹۵ منطق مرتبه اول Hopegod ۲ ۴۱۸ ۰۲ آذر ۱۳۹۵ ۰۷:۰۴ ب.ظ
آخرین ارسال: Hopegod
  مشکل در رزولووشن (بخش عامل های منطقی) araz22 ۷ ۸۸۱ ۰۵ فروردین ۱۳۹۵ ۱۲:۴۲ ب.ظ
آخرین ارسال: reza.bsh
  سوال منطق گزاره ای - کامپیوتر ۸۶ Nesyan ۰ ۴۳۱ ۲۹ بهمن ۱۳۹۴ ۰۲:۲۱ ب.ظ
آخرین ارسال: Nesyan
  مشکل در منطق مرتبه اول هوش مصنوعی araz22 ۷ ۱,۶۳۱ ۰۴ بهمن ۱۳۹۴ ۰۶:۳۳ ب.ظ
آخرین ارسال: araz22
  سوال ۱۲۰ مهندسی کنکور ۹۲ ( گزاره ضعیف) shamim_s ۱ ۷۹۵ ۰۹ بهمن ۱۳۹۳ ۰۷:۵۴ ب.ظ
آخرین ارسال: artmiss

پرش به انجمن:

Can I see some ID?

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

Feeling left out?


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

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

Feeling left out?


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