یکسان سازی با همه مشکل داره دوست عزیز: دی

گزینه ۱ گزینه صحیحه
در یکسان سازی نگاه جامدتون رو به مبحث هوش حذف کنید و سعی کنید به تعریف یکسان سازی بیشتر فکر کنید
قراره بشه از دو عبارت یه چیزی در بیاد
صورت سوال گفته که x با تابعی از خودش و با تابعی از یک مقدار ثابت در ارتباطه.
گزینه ۱ هم گفته که یک ثابتی با یک مقدار متغیر هر دو نوع ارتباط رو داراست.
مشخصا می شه نتیجه گیری منطقی از این دو داشت و لذا این دو مورد قابل یکسان سازی هستند.
به نظر من دنبال راه کنکوری نباشین و مفهوم رو در هر تست که اومد ملاک قرار بدین. موفق‌تر خواهید بود.

(۲۵ دى ۱۳۸۹ ۰۳:۰۶ ب.ظ)امیدوار نوشته شده توسط:  برای حل این گونه سوالات به نکات زیر توجه کنید
۱- پیش فرض حروف بزرگ،بعنوان ثابت و حروف کوچک انگلیسی ،متغییر در نظر گرفته میشوند.
۲-متغییر نمی تواند در یک ثابت ریخته شود
۳- یکسان ساز ما نباید در حلقه بیفتد
۴- یه متغییر باید با یه ثابت مقدار دهی بشه
۵-کار بیهوده: ثابت رو تو ثابت بریزیم
با توجه به توضیح بالا:
............................................................................

در گزینه ب: ب)Q(x,y),Q(G(x,y),B)
B یه مقدار ثابته که درون y که یک متغییره میریزیم خوب مشکلی پیش نمیاد، و(G(x,y هم یه متغییره که میریزیم درون x، همون طور که میبینید یکسان ساز دچار حلقه میشه خوب شما فرض کنید یه جمله دارید به یکسان ساز میگید که جای x های جمله متغییر (G(x,y رو بذار،خوب بعد از این جای گذاری بازم ما x داریم خوب دوباره میاد جایگذاری میکنه و دوباره هم همین طور و این یعنی دور.

الان با توجه به توضیحات آقای امیدوار که در این پست دادن:

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


در گزینه ۱ که دوستان گفتن جواب صحیح هستش
ما ثابت A رو در متغیر x میریزیم.متغیر x رو در تابع( Ϝ(x ..با توجه به حرف آقای امیدوار آیا وقتی x در اون تابع ریخته میشه.در حلقه نمی افته؟چون هی مرتب( Ϝ(xتشکیل میشه و باز باید x رو توش بریزه.
اما اگر گزینه ۲ رو انتخاب کنیم این مشکل پیش نمیاد


اینم سوال اصلی:

(۰۱ بهمن ۱۳۹۰ ۱۱:۳۰ ب.ظ)fe_atash نوشته شده توسط:  

(25 دى ۱۳۸۹ ۰۳:۰۶ ب.ظ)امیدوار نوشته شده توسط:  برای حل این گونه سوالات به نکات زیر توجه کنید
۱- پیش فرض حروف بزرگ،بعنوان ثابت و حروف کوچک انگلیسی ،متغییر در نظر گرفته میشوند.
۲-متغییر نمی تواند در یک ثابت ریخته شود
۳- یکسان ساز ما نباید در حلقه بیفتد
۴- یه متغییر باید با یه ثابت مقدار دهی بشه
۵-کار بیهوده: ثابت رو تو ثابت بریزیم

با سلام تست زیبایی است و به نظرم حاوی نکته ایی که کمتر در جای عنوان شده یا حدااقل من ندیدم و ذهن خودم هم به خودش معطوف کرده بود.
اولا تمام توضیحات اقای امیدوار کاملا درست و به جاست اما طراح سئوال در این تست سعی در گمراهی داشته به این نحو که با انتخاب اسامی یکسان به عنوان نامگذاری متغیرx در صورت و در گزینه‌ها سعی در گمراهی دواطلب در استدلال درست داشته به این صورت که:
در نگاه اول تمام گزینه‌ها قابل یکسان سازی نمی باشند و این با توجه به توضیحات اقای امیدوارم کاملا مشهوده .(گزینه دوم به دلیل اینکه مقدار ثابت را در مقدا ثابت میریزه).
اما با یک تغیر متغیر ساده میتوان گزینه درست را تشخیص داد به این صورت که به جای متغیر x در صورت سئوال یا در گزینه‌ها متغیر z را جایگزین کنید (دقت کنید یا در صورت سئوال یا در گزینه‌ها و نه هر دو )با این تغیر متغیر میتوان گزینه درست را تشخیص دهید که تنها گزینه یک میباشد .

سلام این توضیحاتی که نوشتم از حرفای استادم برداشت کردم شاید درست نباشه ،که خودم هم موقعی که برای کنکور میخوندم در مورد بحث یکسان سازی قانع نشدم،زیرا حل هر تست یکسان سازی با دیگری متفاوته و هر کدوم با یک شرایط خاصی حل میشند و برای حل قانون کلی ندارند(البته برداشت منه شاید درست نباشه)الان هم حضور ذهن ندارم جوابتون بدم ،

گزینه ۲ گفتید نمیشه چون:
.(گزینه دوم به دلیل اینکه مقدار ثابت را در مقدا ثابت میریزه).

منظورتون کدوم ثابت تو ثابته!؟ (مگر( F(x یک متغیر نیست!؟ )
خوب به قول شما در گزینه‌ها این جای تغییر متغییر رو انجام میدیم: x=z
حالا تو گزینه ۲
متغیر z رو میریزیم تو متغیر x
ثابت A رو میریزیم تو متغیر( F(x
و ثابت( F(A از صورت سوالو میریزیم تو متغیر z ،مشکلش چیه ؟

+البته گزینه ۱ با تغییر متغیر حل میشه...مرسی که به این نکته اشاره کردید..ایده‌ی خیلی خوبی بود

+آقای امیدوارم ممنونم سر زدید..بله درست میگید من هربار فکر میکنم یکسان سازی رو قشنگ فهمیدم یک تستی میاد مفروضات ذهنیمو که کامل نیستن خراب میکنه...

---

+و اینکه گفته میشه:" تابع باثابت قابل یکسان سازی نیست"
قضیش چیه!؟ یعنی من نمیتونم مثلا ثابت A رو تو متغیر( F(x یا( F(x,y بریزم!؟

آخه آقای bijibuji تو این پست
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.
گفتند میشه یک ثابت رو تویه یک تابع ریخت.

(۰۵ بهمن ۱۳۹۰ ۰۸:۱۱ ق.ظ)fe_atash نوشته شده توسط:  گزینه ۲ گفتید نمیشه چون:
.(گزینه دوم به دلیل اینکه مقدار ثابت را در مقدا ثابت میریزه).

منظورتون کدوم ثابت تو ثابته!؟ (مگر( F(x یک متغیر نیست!؟ )
خوب به قول شما در گزینه‌ها این جای تغییر متغییر رو انجام میدیم: x=z
حالا تو گزینه ۲
متغیر z رو میریزیم تو متغیر x
ثابت A رو میریزیم تو متغیر( F(x
و ثابت( F(A از صورت سوالو میریزیم تو متغیر z ،مشکلش چیه ؟

در مورد گزینه دو:

اول مقدار متغیر z را با ثابت( F(A تثبیت میکنیم
تا اینجا مشکلی براش پیش نمی یاد اما در ادامه‌ :

بعد از اینکه متغیر z با مقدار( F(A تثبیت شد
برای یکسان سازی متغیر x داریم (x/z)
آز انجا که متغیر z تثبیت شده پس مقدار تثبیت شده انرا در متغیر x میریزیم یعنی( F(A ,
یعنی در این حالت به جای متغیر x‌ها باید مقدار( F(A را قرار دهیم لذا در این صورت هم متغیر( F(x با مقدار $F(F(A))$ تثبیت خواهد شد که در اینجا ریختن مقدار ثابت A در ثابت $F(F(A))$ را داریم که قادر به یکسان سازی هم نمیباشند .

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

امکانش هست قسمت دوم سوالمم جواب بدید؟

۱-آیا میشه مثلا ثابت A رو تو متغیر( F(x یا( F(x,y ریخت؟!

۲-اگر بخوایم (F(A رو با (F(y یکسان سازی کنیم میتونیم؟بعد جواب میشه (F(F(A ؟؟

اگر همه اینا درست باشه و امکان پذیر باشه..تست ۲۰ فصل هشتم پوران..صفحه ۲۴۸/فناوری اطلاعات ۸۳

کدام یک از عبارات زیر با عبارت( (R( x , F(A) ,F(z قابل یکسان سازی است؟
گزینه ۱)( (R( F(z) , F(y) ,F(x
گزینه ۲)( (R( F(z) , x ,F(B
گزینه ۳)( (R( z , F(z) ,F(B
گزینه ۴)( R( F(y) , y , x

جواب گزینه ۴ هست

اما تو گزینه ۱‌: اگر همون طور که شما گفتید متغیر x , z ای که تو سوال هست،اونی نیست که تو گزینه‌ها هست و واسه گیج کردن مشابه آوردن و میشه عوضشون کرد
خوب میایم تو گزینه ۱ بجای x میذاریم m و بجای z میذاریم n تا به صورت سوال قاطی نشه. مشکلی که پیش نمیاد؟ ...پس از این به بعد گزینه ۱ میشه:

( (R( F(n) , F(y) ,F(m

حالا (F(z رو میریزیم تو m.میشه (F( F(z
و (F(A رو میریزیم تو y
و x رو میریزیم تو (F(n
حالا میشه (R( F( F(z) ), F(A) , F(x
خوب...این یکسان سازی غلطه!؟

گزینه های دیگه هم به همین ترتیب...و به گزینه درست نمیرسیم
و واسه همین فکر میکنم که اگر بیایم تو گزینه ها،متغیرهای مشابه صورت سوالو تغییر بدیم...کاره درستی نباشه..

با سلاام
اگر بخوایم (F(A رو با (F(y یکسان سازی کنیم میتونیم؟بعد جواب میشه (F(F(A ؟؟

در مورد توابع اسکولم باید
اول پارامترهای توابع اسکولم رو مد نظر بگیرید
دوم شما نمیتوانید ثابت (F(A را با y که به عنوان پارامتر ورودی تابع اسوکلم میباشد یکسان کنید و باید با (F(y در نظر بگیرید و لذا در مورد یکسان سازی "حالا (F(z رو میریزیم تو m.میشه (F( F(z " نمیتونید با m یکسان سازی کنید وباید (F(z را با
( F( m یکسان سازی کنید نه با m .
و اما در مورد تغیر متغیر‌:
باید تغیر متغیر مجاز باشد منظورم اینه تغیر متغیر نباید پایگاه دانش رو دیرشان را با توجه به سور عمومی که در حوزه ان تعریف شده اند میگیرند و اگر انها را تغیر دادید با متغیرهای سور عمومی را که این متغیر بر حسب انها نام گذاری شده اند را نیز تغیر دهید . (در کتاب پوران -فرم نرمال عطفی برای منطق مربته اول - مرحله ۳ و ۴ در مورد استاندارد سازی نام متغیر و skolemization توضیح داده ). به نظرم زیاد درگیر جزئیات نکنید.
البته این در مورد متغیر وردی توابع اسکولم هست و متغیر مستقل مثل x با چنین محدودیتهایی زیاد مواجه نمیباشند والبته به نظرم زیاد در گیر این موضوع نشوید و تنها در صورتی که احساس کردید هیچ یک از گزینه قابل یکسان سازی نمیباشند تغیر متغیر رو هم امتحان کنید .
البته این نکته هم نباید فراموش کرد که با تمرین حتی نیازی به تغیر متغیر هم نیست و با توجه به تعریف خود یکسان سازی میتوان تشخیص داد . (دو عبارت باید به ازای یک جانشینی با هم مشابه یا یکسان شوند و در این راستا دور نباید داشته باشیم و ...)
یه نکته دیگه‌: بعضی از تستهای کنککور که در زمینه یکسان سازی امده حتی جواب سنجش اشتباه بوده و کمتر کتابی هم توضیحات لازم رو داده اما کتاب اقای فیلی کم وبیش به این گونه تستها پرداخته .
امیدوارم تونسته کمکی کرده باشم .
کمتر از یک هفته به کنکور بیشتر نمانده و امیدوارم موفق و پیروز باشید.

خیلی خیلی ممنونم.

ممنون که جواب دادین... توضیح صورت سوال را متوجه شدم... ولی توضیحی که برای گزینه‌ی ۱ دادین... برای گزینه‌ی ۲ و۴ هم درسته... این طور نیست؟

بعد... اینکه... مگر تو یکسان سازی... امکان جایگذاری ثابت با متغیر وجود داره؟... A ثابته و نباید بتونه با x جایگزین بشه... این طور نیست؟...

متغیر x با A جانشین شده نه A با x