۱
subtitle
ارسال: #۱
  
سئوال از استلزام منطقی در منطق گزاره ها
برای حل این سوال چرا راه زیر جواب نمی ده:
گزینه ۱:
(a ^ B) V y= (~a V y) V (~B V y)~
گزینه ۱:
(a ^ B) V y= (~a V y) V (~B V y)~
۳
ارسال: #۲
  
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]
پس گزینه ی دوم جواب درسته.
قبل از بررسی گزینه ها یه اصل و یاد اوری کنم :اگر [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]
پس گزینه ی دوم جواب درسته.
۰
ارسال: #۳
  
RE: استلزام منطقی در منطق گزاره ها
روش تحلیلت اشتباه هست، استلزام رو اینطوری تبدیل نمیکنن( استلزام رو با <== قاطی نکن)
۰
ارسال: #۴
  
استلزام منطقی در منطق گزاره ها
ممنونم. بله درست میگید. روش تحلیل استلزام چیه؟ باید درستی جمله a و در مدل b که b|=a بررسی کرد یا راه دیگه ای داره؟
ارسال: #۵
  
RE: استلزام منطقی در منطق گزاره ها
(۰۷ دى ۱۳۹۰ ۱۲:۵۹ ب.ظ)marzieh نوشته شده توسط: ممنونم. بله درست میگید. روش تحلیل استلزام چیه؟ باید درستی جمله a و در مدل b که b|=a بررسی کرد یا راه دیگه ای داره؟
از لحاظ مفهومی درست میگید . برای حل این تست پیشنهاد میکنم کتاب گسترش علوم پایه رو بررسی کنید . کلا حل تستش خیلی بهتره تا پوران . البته این تست هم فکر سخت ترین تست توی اون سال بوده چون یه جورایی با بقیه تست های این مبحث فرق داره . درضمن فکر کنم کتاب شما سپاهان باشه که نمی دونم حل تستش خوبه یا نه( اگه خوبه دیگه گسترش علوم پایه رو میتونی نگیری )
۰
ارسال: #۶
  
استلزام منطقی در منطق گزاره ها
بسیار ممنونم.. خداوند شما را خیر دهاد... کتابم تست های کنکور سال های گذشته مقسمی است.. می رم گسترش علوم پایه و تهیه می کنم
۰
Can I see some ID?
Feeling left out?
نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close