مشکل در حل سوالات استنتاج - نسخه‌ی قابل چاپ

مشکل در حل سوالات استنتاج - sMohammad - 18 آبان ۱۳۹۵ ۰۹:۵۵ ب.ظ سلام سوالات استنتاج رو میشه از راهی به جز خلاصه کردن روابط هم رفت، مثل این روشی که در این تاپیک توضیح داده شده: مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید. یک سوال هست که سعی کردم از همون روشی برم که mfXpert داخل لینک بالا گفته، ولی علاوه بر گزینه درست، یک گزینه دیگه هم درست در میاد! لطفا راهنمایی کنید: و یک مورد دیگه، اینکه وقتی با فرض A=0 میخوام مسئله رو حل کنم، نمیشه پیش رفت چون B و C هر مقداری میتونن بگیرن راهی به جز تبدیل و خلاصه کردن گزاره ها برای حل این مسئله وجود داره؟ سوال:[attachment=20794] جواب: [attachment=20793]

RE: مشکل در حل سوالات استنتاج - Pure Liveliness - 18 آبان ۱۳۹۵ ۱۰:۳۶ ب.ظ سلام. بهتر هست توی این مسائل از همون راهی که توی اون تاپیکی که گفتید گفته شده پیش رفت. البته گاهی هم مثل اینجا نمیشه به نتیجه رسید با اون روش و ساده کرد قوانین رو. [tex]A\: \longrightarrow(B\vee C)\: ,\: B\longrightarrow A',\: D\longrightarrow C'\: \: [/tex] بهتر هست یه نگاهی هم به گزینه ها داشته باشیم که ببینیم آیا میشه بهشون رسید یا خیر. گزینه ها معادل چی هستن؟ : ۱)[tex]A\: \longrightarrow D'\: \: [/tex] ۲)[tex]B\longrightarrow A'\: \: [/tex] ۳)[tex]C\longrightarrow B[/tex] ۴)[tex]C\longrightarrow D[/tex] گزینه ی ۴ غلط هست چون که داریم: [tex]D\longrightarrow C'[/tex] که معادل هست با [tex]C\longrightarrow D'[/tex] که رد گزینه ی ۴ هست، یعنی اگر C خوشگذران باشد، آنگاه D خوشگذران نیست. راه شما گاهی پیچیده و سخت میشه. البته بستگی به سوال داره. توی این سوال فکر کنم بهترین راه این هست که توی همه ی گزینه ها مقدم رو درست فرض کنیم بعد ببینیم آیا میشه با استفاده از گزاره ها به تالی رسید یا خیر. الان واسه گزینه ی اول اگر A=T آیا میشه به غلط بودن D رسید؟ گزاره ی [tex]B\longrightarrow A'[/tex] که صحیح باید باشه، با TRUE بودن A داریم: [tex]B\longrightarrow A'\: =B\longrightarrow F\: =T\: \Longrightarrow B=F[/tex] از طرفی گزاره ی [tex]A\longrightarrow(B\vee C)=T[/tex] و با TRUE بودن Aو FALSE بودن B داریم : [tex]A\longrightarrow(B\vee C)=T\longrightarrow(F\vee C)\: \Longrightarrow C=T[/tex] توی گزاره ها داریم : [tex]D\longrightarrow C'[/tex] که باید TRUE باشه، از اونجا که C=T پس [tex]D\longrightarrow C'=C\longrightarrow D'=T\longrightarrow D'=T\: \Longrightarrow D=F[/tex] که به تالی گزینه ی اول رسیدیم از مقدم ش. یعنی این گزینه صحیح هست. دو گزینه ی دو و سه با همین استدلال رد میشن.

RE: مشکل در حل سوالات استنتاج - sMohammad - 20 آبان ۱۳۹۵ ۰۹:۴۱ ب.ظ با سلام و تشکر از وقتی که گذاشتید و پاسخی که دادید. گزینه ۲ میگه: اگر B خوشگذران باشد(B=True) آنگاه A سخت کار میکند(A=True) که شما موقع تبدیل گزاره فارسی به گزاره منطقی، اشتباه تایپ کردید [tex]B\: \longrightarrow\: A'\: [/tex] در صورتی که شکل صحیح به این صورت هست: [tex]B\: \longrightarrow\: A[/tex] و با توجه به فرضیاات مسئله که هر دو به یک شکل درآوردیم: [tex]A=1,\: B=0,\: C=1,\: D=0[/tex]، گزینه ۲ صحیح میشه: [tex]0\: \longrightarrow\: 1\: =\: True[/tex] موضوع دیگری که برام پیش اومد این هست که اگر از ابتدا بخواهیم با فرض A=0 پیش بریم و بقیه گزاره های پایه رو (B, C, D) به شرط درست بودن روابط فرضیات به دست بیاریم نمیتونیم پیش بریم، چون فرضیاتمون ناقص هست. بیشتر که بررسی کردم دیدم داخل سوالات استنتاج که میگه کدام گزینه درسته یا کدام غلط است و فقط چند تا استنتاج داده برای بررسی، داخل مقدم همه اونها حتما یک گزاره پایه به صورت "تنها" وجود داره مثلا نوشته p یا q یا r یا... منظورم اینه که گزاره اتمی داده و با توجه به این که این گزاره اتمی قراره با بقیه مقدم ها and بشه و در نهایت نتیجه این and ها true دربیاد، پس "بدون شک" و "صددرصد" اون گزاره اتمی true هست و به این ترتیب میشه از روی این گزاره مصمئنا true، بقیه گزاره ها رو طوری در نظر گرفت که true در بیان. ولی داخل این مسئله همچین چیزی وجود نداره که بشه با اطمینان گفت یکی از این گزاره های پایه، حتما true هست. (گزاره اتمی=گزاره پایه)

RE: مشکل در حل سوالات استنتاج - sMohammad - 24 آبان ۱۳۹۵ ۰۱:۵۴ ق.ظ سلام Pure Liveliness گزینه ۲ رو اشتباه به گزاره منطقی تبدیل کردی