سلام
سئوال اینه:
![[تصویر: 224926_57770277669184391309.jpg]](https://img.manesht.ir/224926_57770277669184391309.jpg)
مشکل اینه:
اگر علامت <- بیرونی رو اول حذف کنیم به گزینه ۳ میرسیم
اگر علامت <- داخلی رو اول حذف کنیم به گزینه ۴ میرسیم
خودم فکر میکنم ۳ درسته
اما راهیان گزینه ۴ و دیباگران گزینه ۳ رو انتخاب کردن
نظر شما ؟
گزینه ۴ درست هست.
ما زمانی از ثابت اسکولم استفاده میکنیم که سور وجودی داشته باشیم
ولی اینجا فقط یک سور عمومی داریم که بی دغدغه حذف میشه و پاسخ گزینه ۴ میشه.
(۱۹ آبان ۱۳۹۲ ۰۹:۳۸ ب.ظ)nazanin_sh نوشته شده توسط: گزینه ۴ درست هست.
ما زمانی از ثابت اسکولم استفاده میکنیم که سور وجودی داشته باشیم
ولی اینجا فقط یک سور عمومی داریم که بی دغدغه حذف میشه و پاسخ گزینه ۴ میشه.
۱- برای حذف سورها باید قبلش <- رو حذف کنیم و همچنین اگر علامت نقیض بیرون از پرانتز داریم به داخل ببریم.
۲- شما اگر <- بیرونی رو اول حذف کنید به سور وجودی هم میرسید
سئوال من اینه که آیا قانونی هست که مشخص کنه اینجور وقتها تقدم حذف با کدوم هست ؟
(۲۰ آبان ۱۳۹۲ ۰۹:۴۴ ق.ظ)iman_n21 نوشته شده توسط:خب مسلما تقدم با پرازنتزه(19 آبان ۱۳۹۲ ۰۹:۳۸ ب.ظ)nazanin_sh نوشته شده توسط: گزینه ۴ درست هست.
ما زمانی از ثابت اسکولم استفاده میکنیم که سور وجودی داشته باشیم
ولی اینجا فقط یک سور عمومی داریم که بی دغدغه حذف میشه و پاسخ گزینه ۴ میشه.
۱- برای حذف سورها باید قبلش <- رو حذف کنیم و همچنین اگر علامت نقیض بیرون از پرانتز داریم به داخل ببریم.
۲- شما اگر <- بیرونی رو اول حذف کنید به سور وجودی هم میرسید
سئوال من اینه که آیا قانونی هست که مشخص کنه اینجور وقتها تقدم حذف با کدوم هست ؟
اما حتی اگه تقدم با پرانتز هم نباشه . طبق مثال کتاب راسل نقیض به این سور اعمال نمیشه . مثالش اینه :
[tex]\forall x\ American(x)\wedge Weapon(y)\wedge sells(x,y,z)\wedge Hostile(z)\Rightarrow Criminal(x)[/tex]
[tex]\sim American(x)\vee\sim Weapon(y)\vee\sim sells(x,y,z)\vee \sim Hostile(z)\vee Criminal(x)[/tex]
طبق این مثال میشه گفت علامت نقیض به سور عمومی اعمال نمیشه که بخواد سور وجودی ایجاد کنه.
حالا اگه پاسخنامه سنجش رو هم چک کنید مطمئن تره. هرچند به اونم اعتمادی نیست
مثالی که فرمودید ابهام سئوال بالا رو نداره
من بین انتخاب دو فرم زیر به شک میافتم
اگه درست خاطرم باشه یه سئوال دیگه تو کنکور ۸۸ هم همین مورد رو داشت
کتاب گسترش علوم پایه رو هم نگاه کردم گزینه ۳ انتخاب شده بود
![[تصویر: 225267_90029882902202716521.jpg]](https://img.manesht.ir/225267_90029882902202716521.jpg)
(۲۰ آبان ۱۳۹۲ ۰۳:۵۰ ب.ظ)iman_n21 نوشته شده توسط: مثالی که فرمودید ابهام سئوال بالا رو نداره
من بین انتخاب دو فرم زیر به شک میافتم
اگه درست خاطرم باشه یه سئوال دیگه تو کنکور ۸۸ هم همین مورد رو داشت
کتاب گسترش علوم پایه رو هم نگاه کردم گزینه ۳ انتخاب شده بود
آخه اگه بنا باشه که سور عمومی فقط برای جمله اول باشه باید علامت سور داخل پرانتز قرار میگرفت . اما اینجا بیرون از چرانتز هست و اگه کل پرانتز رو A بگیریم اونوقت داریم:
[tex]\forall x A\rightarrow B[/tex]
؟!؟!؟
شما جواب سنجش رو ندارید؟
(۲۰ آبان ۱۳۹۲ ۰۷:۳۸ ب.ظ)nazanin_sh نوشته شده توسط:(20 آبان ۱۳۹۲ ۰۳:۵۰ ب.ظ)iman_n21 نوشته شده توسط: مثالی که فرمودید ابهام سئوال بالا رو نداره
من بین انتخاب دو فرم زیر به شک میافتم
اگه درست خاطرم باشه یه سئوال دیگه تو کنکور ۸۸ هم همین مورد رو داشت
کتاب گسترش علوم پایه رو هم نگاه کردم گزینه ۳ انتخاب شده بود
آخه اگه بنا باشه که سور عمومی فقط برای جمله اول باشه باید علامت سور داخل پرانتز قرار میگرفت . اما اینجا بیرون از چرانتز هست و اگه کل پرانتز رو A بگیریم اونوقت داریم:
[tex]\forall x A\rightarrow B[/tex]
؟!؟!؟
شما جواب سنجش رو ندارید؟
آخه اگه بنا باشه که سور عمومی فقط برای جمله اول باشه باید علامت سور داخل پرانتز قرار میگرفت . اما اینجا بیرون از چرانتز هست و اگه کل پرانتز رو A بگیریم اونوقت داریم:
[tex]\forall x A\rightarrow B[/tex]
؟!؟!؟
شما جواب سنجش رو ندارید؟
[/quote]
شما رو چه چیزی شک دارین سوال مشخصه فرم کلازیک یعنی فرم نرمال عطفی cnf , و بعد میدونیم در cnf لیترال ها فصلی میشن همون اجتماع و بین جملات اشتراک داریم خوب حالا میدونیم اگه بخواییم جمله سوالو به فرم نرمال cnf در بیاریم قاعدتا باید فلش ها حذف بشه برای اینکه حذف بشه ما از قانون[tex]A\rightarrow B[/tex] استفاده کردیم که معادل [tex]\sim A\vee B[/tex]
خوب طبق این قاعده میاییم اینجا همین سوالو حل میکنیم. فقط تا یادم نرفته بگم ما دو بار نقیضو به جملات اعمال کردیم چون دو تا فلش داریم یکبار روی دو جمله اول بعد همینو نقیض میگیریم با جمله اخر.
[tex]\sim \left ( \\ \forall x s(x \, r) \rightarrow l(x\, \, g)\rightarrow h®\right )[/tex]
[tex]\sim (\exists x\sim (x\, \, R)\vee (x\, \, G))\vee H®)[/tex]
[tex]\forall (S(x\, \, R))\vee \sim L(x\, \, G))\vee H®)[/tex]
خوب ما میدونیم سور عمومی میتونه راحت حذف بشه و اگر سور عمومی رو برداریم این عبارت ترکیب دو جمله هست چون بینشون اجتماع هست.
[tex]S(X,R )\vee H®[/tex]
و
[tex]\sim L(X,G)\vee H®[/tex]
یعنی دقیقا جواب سوال بیخود برا خودتون پیچیدش نکنید.
متاسفانه جواب سنجش رو ندارم
ولی دیروز کتاب پوران و سپاهان رو هم نگاه کردم گزینه ۳ انتخاب شده بود
(۲۱ آبان ۱۳۹۲ ۱۰:۵۰ ق.ظ)iman_n21 نوشته شده توسط: متاسفانه جواب سنجش رو ندارم
ولی دیروز کتاب پوران و سپاهان رو هم نگاه کردم گزینه ۳ انتخاب شده بود
من سنجشم دارم جوابش گزینه ۴ هست .
راهیانم ۴ گفته.
خیلی پیش می اید سوالاتو کتاب ها اشتباه جواب میدن به اون چیزی که مطمئنید همونو بزنید.
این سازمان سنجشم هر سال خیلی سوالاتش یا حذف میشه یا جوابش غلط داده کاریم از دست ما ساحته نیست.
ولی این یکی رو مطمئنم ۴ درسته.
با بزرگواری صحبت کردم که رشته اش ریاضی هست و سابقه تدریس بالایی داره
نظر ایشون این بود که سور عمومی این مثال مربوط به دامنه هست و نه برد
و اینجوری نتیجه باز همون ۳ میشه
من در مورد اینکه شما به راحتی پرانتز رو برداشتید تردید دارم
اگر سور عمومی مربوط به کل جمله باشه میتونید پرانتز رو بردارید ولی اگر مربوط به مقدم باشه نمیتونید
(۲۱ آبان ۱۳۹۲ ۰۳:۱۳ ب.ظ)iman_n21 نوشته شده توسط: با بزرگواری صحبت کردم که رشته اش ریاضی هست و سابقه تدریس بالایی دارهسور عمومی مربوط به کل جمله میشه. تنها سور عمومی گاهی اوقات نمینویسن هم معنیش سور عمومیه میشه.
نظر ایشون این بود که سور عمومی این مثال مربوط به دامنه هست و نه برد
و اینجوری نتیجه باز همون ۳ میشه
من در مورد اینکه شما به راحتی پرانتز رو برداشتید تردید دارم
اگر سور عمومی مربوط به کل جمله باشه میتونید پرانتز رو بردارید ولی اگر مربوط به مقدم باشه نمیتونید
و چون سور عمومی مربوط به کل جملست راحت حذف میشه.و سور وجودی نیست که تابع اسکلوم در نظر بگیریم.
ببینید نظر من اینه همه چیز شامل یه چیز میشود. ولی یه چیز شامل همه نیست.
ما در صورتی میتونیم پرانتز رو حذف کنیم که مربوط به کل جمله باشه یعنی دوتا فرم زیر معادل هستن
[tex]\forall x A\rightarrow B[/tex]
[tex]\forall x (A\rightarrow B)[/tex]
اینجا اگه قرار بود سور عمومی فقط مربوط یه دامنه باشه میبایست درون پرانتز قرار میگرفت اما چون خارج از پرانتز هست مربوط به کل جمله میشه. شما خودتون پرانتزای حذف شده رو اگه قرار بدین بهش میرسین.
این تالار مدیر نداره بیاد کمک؟!؟!
یه مثالم توی سایت ویکیپدیا یافتم که شاید قانع کننده باشه:
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.
اواخر صفحه هست بخونید خیلی خوبه
- علت این که گفته شد در مثال سور عمومی مربوط به دامنه هست پرانتز گذاری نیست بلکه مکان قرارگیری متغیر x هست و اینکه برد مسئله تابعی از x هست (در واقع تابعی از یک تابع دیگر x)
- میشه گفت پرانتزگذاری صورت سئوال برای هیچکدوم از دو حالت استاندارد نیست و هدف طراح هم همین بوده چرا که استانداردش یکی از فرم های زیر هست
![[تصویر: 225859_92984126475292129766.jpg]](https://img.manesht.ir/225859_92984126475292129766.jpg)
فرم سوم مربوط به توضیح اول هست
- مثال ویکی پدیا رو دیدم، پر واضحه که در این مثال سور عمومی بیرونی متعلق به کل عبارت هست، چرا که هر دو طرف برد و دامنه سور مربوط به خودشون رو دارن و میشه گفت این سور عمومی بیرونی از هر دو طرف فاکتور گرفته شده، و همچنین دقت کنید که هم برد و هم دامنه وابسته به x هستن