تالار گفتمان مانشت

سلام دوستان ، آیا کسی لم خاصی برای حل سوالات استنتاج بلده که تحت شرایط مختلف جواب بده ?
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.

(27 تير 1394 06:44 ب.ظ)joyebright نوشته شده توسط: [ -> ]سلام دوستان ، آیا کسی لم خاصی برای حل سوالات استنتاج بلده که تحت شرایط مختلف جواب بده ?
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.

سلام.
سه تا روش داره که توی جزوه ی دکتر یوسفی هم هست.
این جا:

مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.


روش۱: نشان میدهیم که عبارت "فرض آن گاه تالی" تاتولوژی/ استلزام منطقی است.
البته فقط در صورتی که نتیجه ی استنتاج رو داشته باشیم، واسه این که ببینیم درسته یا خیر، میتونیم از روش ۲ و ۳ استفاده کنیم.
روش۲: فرض میکنیم که مقدم ها درست هستند و یه جوری با قوانین استنتاج میرسیم به درست بودن تالی، یعنی اگه برسیم اون استنتاج درسته
روش ۳: فرض میکنیم که تالی غلط هست، اگه به این نتیجه برسیم که تمامی مقدم ها هم غلط هستند، اونوقت این استنتاج درسته.
من پیشنهاد میکنم این تیکه رو از کتاب دکتر قلی زاده بخونید. خیلی قشنگ گفتن

مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.

سلام آقا من چند روزه توی اینترنت دارم دنبال جواب یک سوال میگردم خواهش می کنم جواب بدین...
در ارشد ریاضیات و کاربردها من می خوام برم گرایش محض... میگن اگه بخوای بری محض یه درسایی اصلن تاثیر نداره که چند تا تستشو جواب میدی و لازم نیس بخونی و یه درسایی خیلی مهمه...
لطفا اگه کسی میدونه بگه من چیکار کنم ؟ قیه این که چه درسی برای محض مهمتره چیه ؟
مرسی
اینم ایملمه ali.afshaniyan@gmail.com

با تشکر از توضیحات خوبتان اما برام چند تا سوال پیش اومده
1.آیا متد خاصی برای ترتیب دادن به فرض ها وجود دارد? مثلا تو همین سوال چرا فرض شما آخرین گزینه شد ?
2.چه زمانی متوجه می شویم به جواب آخر رسیده ایم ، تو همین مثال چرا جواب های آخر ما s , w, r ,z هستند.
3.تو همین کتاب پوران (یوسفی) تعداد قوانین زیاد است ، آیا با همان قوانینی که در کتاب دکتر قلی زاده موجود است می توان به تمامی سوالات استنتاج ها جواب داد و صرفا با تعداد قوانین بیشتر می توان راه را کوتاه کرد ?
در کل ممنونم کاملا گرفتم اما هنوز نتونستم یک الگریتم جامع واسه این سوال تو ذهنم ترسیم کنم تا به همه سوالات جواب بدم .

(29 تير 1394 10:49 ق.ظ)joyebright نوشته شده توسط: [ -> ]با تشکر از توضیحات خوبتان اما برام چند تا سوال پیش اومده
۱/آیا متد خاصی برای ترتیب دادن به فرض ها وجود دارد? مثلا تو همین سوال چرا فرض شما آخرین گزینه شد ?
۲/چه زمانی متوجه می شویم به جواب آخر رسیده ایم ، تو همین مثال چرا جواب های آخر ما s , w, r ,z هستند.
۳/تو همین کتاب پوران (یوسفی) تعداد قوانین زیاد است ، آیا با همان قوانینی که در کتاب دکتر قلی زاده موجود است می توان به تمامی سوالات استنتاج ها جواب داد و صرفا با تعداد قوانین بیشتر می توان راه را کوتاه کرد ?
در کل ممنونم کاملا گرفتم اما هنوز نتونستم یک الگریتم جامع واسه این سوال تو ذهنم ترسیم کنم تا به همه سوالات جواب بدم .

خواهش میکنم.
۱- نه هیچ ترتیب خاصی وجود نداره، تنها ترتیبی که ممکنه وجود داشته باشه واسه رسیدن به یه عبارت خاص هست، وگرنه مهم این هست که با استفاده از فرض ها و قواعد استنتاج یه طوری به اون عبارتی که لازم داریم یا حکم برسیم.
۲-توی سوالا معمولاََ یا حکم رو نمیدن، مثل این جا و توی گزینه ها چند تا حکم میدند. که ما میایم بررسی میکنیم که آیا با استفاده از قواعد استنتاج میتونیم به یه گزینه یا شاید همشون برسیم یا خیر.
یا این که میان حکم رو میدند و ما باز با بررسی متوجه میشیم که میشه بهش رسید یا نه. این جا جواب های ما اینا هستند، شاید حتی عبارت دیگه ای هم جواب باشه، با توجه به گزینه ها، دیدیم که همه ی گزینه ها رو میتونیم نتیجه بگیریم. توی این بحث به حکم توجه میکنیم و سعی میکنیم بهش برسیم، شایدم نشه رسید که حکم نتیجه نمیشه.
۳- الگوریتم خاصی نمیخواد. این فقط با حل مساله دست آدم میاد که چطوری به نتیجه برسیم و از کدوم قوانین استفاده کنیم. توی کتاب دکتر قلی زاده خیلی ساده تر و بیشتر بهش پرداخته شده، این که میگم ساده تر منظورم اینه که این کتاب کنکوری نیست و به شدت قشنگ نوشته شده و اون رو بخونید مشکلی ندارید، وقتی هم نمیگیره و فک کنم جوابگوی تستای این فصل لااقل باشه. ضمن این که این فصل، فصل ساده ای هست توی گسسته (:
(کلاََ فک کنم آدم کتاب دکتر قلی زاده رو بخونه از پس تستای پوران بر بیاد.)

با تشکر از لطفتون ، حق با شماست . ان شاءالله بتونم از معلوماتتون استفاده کنم ،مجدد مرسی

Sent from my SM-P601 using Tapatalk