تالار گفتمان مانشت
تبدیل به فرم کلازال منطق مرتبه اول هوش مصنوعی - نسخه‌ی قابل چاپ

صفحه‌ها: ۱ ۲
تبدیل به فرم کلازال منطق مرتبه اول هوش مصنوعی - khordad.girl - 03 بهمن ۱۳۹۳ ۰۷:۰۲ ب.ظ

دوستان میشه ازین سوال و جوابی که من گذاشتن بگید اشتباه من کجاس؟؟ اخه به نظر خودم راهم درسته...
[attachment=17844][attachment=17845]

RE: تبدیل به فرم کلازال منطق مرتبه اول هوش مصنوعی - afagh.msm - 03 بهمن ۱۳۹۳ ۰۷:۲۶ ب.ظ

(۰۳ بهمن ۱۳۹۳ ۰۷:۰۲ ب.ظ)khordad.girl نوشته شده توسط:  دوستان میشه ازین سوال و جوابی که من گذاشتن بگید اشتباه من کجاس؟؟ اخه به نظر خودم راهم درسته...

جواب گزینه ۴؟؟
من جوابمو میزارم انشالله متوجه میشی کجا اشتباه کردی سورعمومی دقت کن کجاست

[تصویر:  329175_ddeaf5af5c5878b0419c0860bb572f72ba99cd7f.jpg]


نمیدونم این سرور چرا عکسای منو چپه میکنه هرچقد هم عکسو چپ و راست میکنم باز سرور کار خودشو میکنم زحمت چرخوندنش با خودت Smile

RE: تبدیل به فرم کلازال منطق مرتبه اول هوش مصنوعی - khordad.girl - 03 بهمن ۱۳۹۳ ۰۸:۰۵ ب.ظ

(۰۳ بهمن ۱۳۹۳ ۰۷:۲۶ ب.ظ)afagh.msm نوشته شده توسط:  
(03 بهمن ۱۳۹۳ ۰۷:۰۲ ب.ظ)khordad.girl نوشته شده توسط:  دوستان میشه ازین سوال و جوابی که من گذاشتن بگید اشتباه من کجاس؟؟ اخه به نظر خودم راهم درسته...

جواب گزینه ۴؟؟
من جوابمو میزارم انشالله متوجه میشی کجا اشتباه کردی سورعمومی دقت کن کجاست

[تصویر:  329175_ddeaf5af5c5878b0419c0860bb572f72ba99cd7f.jpg]


نمیدونم این سرور چرا عکسای منو چپه میکنه هرچقد هم عکسو چپ و راست میکنم باز سرور کار خودشو میکنم زحمت چرخوندنش با خودت Smile

ممنونم
والا معلوم نیس!
یه جا زده گزینه ۳ یه جا زده گزینه ۴!
و دوتاشم ارسطو خلیلی فر جواب داده Smile
ولی من سوالم اینه که چرا غلطه جواب من
من نمیدونم محدوده کجاس؟
ینی نمیتونم محدوده سورها رو تشخیص بدم
مگه not رو که روی سور عمومی اعمال میکنیم نباید تبدیل شه به سور وجودی؟ پس چرا اعمالش نکردی؟

RE: تبدیل به فرم کلازال منطق مرتبه اول هوش مصنوعی - afagh.msm - 03 بهمن ۱۳۹۳ ۰۸:۲۳ ب.ظ

(۰۳ بهمن ۱۳۹۳ ۰۸:۰۵ ب.ظ)khordad.girl نوشته شده توسط:  ممنونم
والا معلوم نیس!
یه جا زده گزینه ۳ یه جا زده گزینه ۴!
و دوتاشم ارسطو خلیلی فر جواب داده Smile
ولی من سوالم اینه که چرا غلطه جواب من
من نمیدونم محدوده کجاس؟
ینی نمیتونم محدوده سورها رو تشخیص بدم
مگه not رو که روی سور عمومی اعمال میکنیم نباید تبدیل شه به سور وجودی؟ پس چرا اعمالش نکردی؟

آخه عزیزم ببین سور عمومی بیرون کل پرانتزاست اگر داخل بود و کنار مقدم عبارت اول بود نات میشد ولی الان سور عمومی برای کل عبارت اول
مثلا اگر اینجوری بود تبدیل به سور وجودی میشد
[tex]\forall xR(x,a)\longrightarrowP(y,b)[/tex]
ولی اینجا این شکلی
[tex]\forall x(R(x,a)\longrightarrowP(x,b))[/tex]
منظورمو متوجه میشی??


نمیدونم کلا نت با من مشکل داره فرمولارو دیگه چرا اینجوری نشون میده اه

RE: تبدیل به فرم کلازال منطق مرتبه اول هوش مصنوعی - sanaz777 - 03 بهمن ۱۳۹۳ ۰۸:۲۶ ب.ظ

منم مثل شما حل کردم و به نظم گزینه ٣ درسته ؟ شما مطمئنی ٤ هست جواب؟ سور واسه کل پرانتزه! خودش هم پرانتز گذاشته اگه واسه s بود میشد ٤

RE: تبدیل به فرم کلازال منطق مرتبه اول هوش مصنوعی - afagh.msm - 03 بهمن ۱۳۹۳ ۰۸:۳۱ ب.ظ

(۰۳ بهمن ۱۳۹۳ ۰۸:۲۶ ب.ظ)sanaz777 نوشته شده توسط:  منم مثل شما حل کردم و به نظم گزینه ٣ درسته ؟ شما مطمئنی ٤ هست جواب؟ سور واسه کل پرانتزه! خودش هم پرانتز گذاشته اگه واسه s بود میشد ٤

مطمئنم چون سور عمومی برای کل عبارت و نات نمیشه کتاب راهیان زده ۴

RE: تبدیل به فرم کلازال منطق مرتبه اول هوش مصنوعی - sanaz777 - 03 بهمن ۱۳۹۳ ۰۸:۳۴ ب.ظ

(۰۳ بهمن ۱۳۹۳ ۰۸:۳۱ ب.ظ)afagh.msm نوشته شده توسط:  
(03 بهمن ۱۳۹۳ ۰۸:۲۶ ب.ظ)sanaz777 نوشته شده توسط:  منم مثل شما حل کردم و به نظم گزینه ٣ درسته ؟ شما مطمئنی ٤ هست جواب؟ سور واسه کل پرانتزه! خودش هم پرانتز گذاشته اگه واسه s بود میشد
٤


مطمئنم چون سور عمومی برای کل عبارت و نات نمیشه کتاب راهیان زده ۴


سوال ٢٧ نگاه کنید پس چرا اونجوری حل کرده

RE: تبدیل به فرم کلازال منطق مرتبه اول هوش مصنوعی - khordad.girl - 03 بهمن ۱۳۹۳ ۰۸:۵۰ ب.ظ

(۰۳ بهمن ۱۳۹۳ ۰۸:۲۳ ب.ظ)afagh.msm نوشته شده توسط:  
(03 بهمن ۱۳۹۳ ۰۸:۰۵ ب.ظ)khordad.girl نوشته شده توسط:  ممنونم
والا معلوم نیس!
یه جا زده گزینه ۳ یه جا زده گزینه ۴!
و دوتاشم ارسطو خلیلی فر جواب داده Smile
ولی من سوالم اینه که چرا غلطه جواب من
من نمیدونم محدوده کجاس؟
ینی نمیتونم محدوده سورها رو تشخیص بدم
مگه not رو که روی سور عمومی اعمال میکنیم نباید تبدیل شه به سور وجودی؟ پس چرا اعمالش نکردی؟

آخه عزیزم ببین سور عمومی بیرون کل پرانتزاست اگر داخل بود و کنار مقدم عبارت اول بود نات میشد ولی الان سور عمومی برای کل عبارت اول
مثلا اگر اینجوری بود تبدیل به سور وجودی میشد
[tex]\forall xR(x,a)\longrightarrowP(y,b)[/tex]
ولی اینجا این شکلی
[tex]\forall x(R(x,a)\longrightarrowP(x,b))[/tex]
منظورمو متوجه میشی??


نمیدونم کلا نت با من مشکل داره فرمولارو دیگه چرا اینجوری نشون میده اه

اول باید اگر آنگاه داخل پرانتز رو برداریم دیگه
تو اگر آنگاه دومی هست که notباید اعمال شه
جواب راهیان ۴ هست جواب ۱۰ سال کنکور پوران گزینه ۳
سوال ۲۷ هم عین همین سواله ولی جوابش با این فرق داره
من گیج شدمConfusedHuh

RE: تبدیل به فرم کلازال منطق مرتبه اول هوش مصنوعی - shamim_70 - 03 بهمن ۱۳۹۳ ۰۹:۰۵ ب.ظ

سلام

شما اینجا تو این عبارت یک متغیر بیشتر نداری!!اونم xهست!!پس نیازی نیس تفکیک کنی پرانتزو !
اگه سمت راست کنار R یک متغیر دیگه ای غیر از ایکس بود باید جدا می کردی!!دیگه ایکس به اون مربوط نبود

RE: تبدیل به فرم کلازال منطق مرتبه اول هوش مصنوعی - khordad.girl - 03 بهمن ۱۳۹۳ ۰۹:۱۲ ب.ظ

(۰۳ بهمن ۱۳۹۳ ۰۹:۰۵ ب.ظ)shamim_70 نوشته شده توسط:  سلام

شما اینجا تو این عبارت یک متغیر بیشتر نداری!!اونم xهست!!پس نیازی نیس تفکیک کنی پرانتزو !
اگه سمت راست کنار R یک متغیر دیگه ای غیر از ایکس بود باید جدا می کردی!!دیگه ایکس به اون مربوط نبود

شما میگی ۳ میشه یا ۴ الان؟

RE: تبدیل به فرم کلازال منطق مرتبه اول هوش مصنوعی - afagh.msm - 03 بهمن ۱۳۹۳ ۰۹:۱۸ ب.ظ

(۰۳ بهمن ۱۳۹۳ ۰۸:۳۴ ب.ظ)sanaz777 نوشته شده توسط:  سوال ٢٧ نگاه کنید پس چرا اونجوری حل کرده

ببین منم نمیدونم چرا اینجوری سورو اعمال کرده در حالی که هردو صورت سوالشون یکیه ولی ببین ص ۳۱۷ که تابع اسکولم گفته من براین اساس میگم تبدیل به سور وجودی نمیشه بعد یه چیز دیگه هم که هست ما وقتی ارگومانهای تابع رو تغییر میدیم که سور عمومی احاطه کننده سور وجودی باشه اینجا که فوقش هم تبدیل بشه به سور وجودی ،سوروجودی که توسط هیچ سور عمومی احاطه نشده

اگه اشتباه میکنم اصلاح کنید

RE: تبدیل به فرم کلازال منطق مرتبه اول هوش مصنوعی - shamim_70 - 03 بهمن ۱۳۹۳ ۰۹:۱۹ ب.ظ

من بنظرم ۴میشه.
راهیان چی گفته؟

RE: تبدیل به فرم کلازال منطق مرتبه اول هوش مصنوعی - sanaz777 - 03 بهمن ۱۳۹۳ ۰۹:۲۷ ب.ظ

(۰۳ بهمن ۱۳۹۳ ۰۹:۱۸ ب.ظ)afagh.msm نوشته شده توسط:  
(03 بهمن ۱۳۹۳ ۰۸:۳۴ ب.ظ)sanaz777 نوشته شده توسط:  سوال ٢٧ نگاه کنید پس چرا اونجوری حل کرده

ببین منم نمیدونم چرا اینجوری سورو اعمال کرده در حالی که هردو صورت سوالشون یکیه ولی ببین ص ۳۱۷ که تابع اسکولم گفته من براین اساس میگم تبدیل به سور وجودی نمیشه بعد یه چیز دیگه هم که هست ما وقتی ارگومانهای تابع رو تغییر میدیم که سور عمومی احاطه کننده سور وجودی باشه اینجا که فوقش هم تبدیل بشه به سور وجودی ،سوروجودی که توسط هیچ سور عمومی احاطه نشده

اگه اشتباه میکنم اصلاح کنید

اخه متغیر x توو صفحه ٣٣١ سمت راست هم هست! اما توو این سوال فقط سمت چپ هست واسه چه مثل صفحه ٣٣١ واسه کل جمله میگیریمش

RE: تبدیل به فرم کلازال منطق مرتبه اول هوش مصنوعی - afagh.msm - 03 بهمن ۱۳۹۳ ۰۹:۳۲ ب.ظ

(۰۳ بهمن ۱۳۹۳ ۰۹:۲۷ ب.ظ)sanaz777 نوشته شده توسط:  
(03 بهمن ۱۳۹۳ ۰۹:۱۸ ب.ظ)afagh.msm نوشته شده توسط:  
(03 بهمن ۱۳۹۳ ۰۸:۳۴ ب.ظ)sanaz777 نوشته شده توسط:  سوال ٢٧ نگاه کنید پس چرا اونجوری حل کرده

ببین منم نمیدونم چرا اینجوری سورو اعمال کرده در حالی که هردو صورت سوالشون یکیه ولی ببین ص ۳۱۷ که تابع اسکولم گفته من براین اساس میگم تبدیل به سور وجودی نمیشه بعد یه چیز دیگه هم که هست ما وقتی ارگومانهای تابع رو تغییر میدیم که سور عمومی احاطه کننده سور وجودی باشه اینجا که فوقش هم تبدیل بشه به سور وجودی ،سوروجودی که توسط هیچ سور عمومی احاطه نشده

اگه اشتباه میکنم اصلاح کنید

اخه متغیر x توو صفحه ٣٣١ سمت راست هم هست! اما توو این سوال فقط سمت چپ هست واسه چه مثل صفحه ٣٣١ واسه کل جمله میگیریمش
ببین یه سوال میپرسم در چه صورتی ما میاییم از تابع اسکولم یا متغیر اسکولم استفاده میکنیم؟؟

RE: تبدیل به فرم کلازال منطق مرتبه اول هوش مصنوعی - khordad.girl - 03 بهمن ۱۳۹۳ ۰۹:۴۱ ب.ظ

(۰۳ بهمن ۱۳۹۳ ۰۹:۱۹ ب.ظ)shamim_70 نوشته شده توسط:  من بنظرم ۴میشه.
راهیان چی گفته؟

گفته ۴ ولی کتابای دیگه گفتن ۳
ببین اگه اینجوری استدلال کنیم که چون تو براکت نیست این سوال هم نباید تبدیل بشه به سور وجودی !
فرق این دو سوال چیه مگه ؟ چرا راهیان این یکی رو گفته ۴؟؟
[attachment=17850]

(۰۳ بهمن ۱۳۹۳ ۰۹:۳۲ ب.ظ)afagh.msm نوشته شده توسط:  
(03 بهمن ۱۳۹۳ ۰۹:۲۷ ب.ظ)sanaz777 نوشته شده توسط:  
(03 بهمن ۱۳۹۳ ۰۹:۱۸ ب.ظ)afagh.msm نوشته شده توسط:  
(03 بهمن ۱۳۹۳ ۰۸:۳۴ ب.ظ)sanaz777 نوشته شده توسط:  سوال ٢٧ نگاه کنید پس چرا اونجوری حل کرده

ببین منم نمیدونم چرا اینجوری سورو اعمال کرده در حالی که هردو صورت سوالشون یکیه ولی ببین ص ۳۱۷ که تابع اسکولم گفته من براین اساس میگم تبدیل به سور وجودی نمیشه بعد یه چیز دیگه هم که هست ما وقتی ارگومانهای تابع رو تغییر میدیم که سور عمومی احاطه کننده سور وجودی باشه اینجا که فوقش هم تبدیل بشه به سور وجودی ،سوروجودی که توسط هیچ سور عمومی احاطه نشده

اگه اشتباه میکنم اصلاح کنید

اخه متغیر x توو صفحه ٣٣١ سمت راست هم هست! اما توو این سوال فقط سمت چپ هست واسه چه مثل صفحه ٣٣١ واسه کل جمله میگیریمش
ببین یه سوال میپرسم در چه صورتی ما میاییم از تابع اسکولم یا متغیر اسکولم استفاده میکنیم؟؟

ثابت که واسه از بین بردن سور وجودی هس
تابع هم وقتی سور وجودی داخل سور عمومی باشه....