زمان کنونی: ۱۰ فروردین ۱۴۰۳, ۱۲:۳۴ ق.ظ مهمان گرامی به انجمن مانشت خوش آمدید. برای استفاده از تمامی امکانات انجمن می‌توانید عضو شوید.
گزینه‌های شما (ورودثبت نام)

مبحث سورها

ارسال:
  

Majiid پرسیده:

مبحث سورها

سلام دوستان
میشه لطفا این مثال ها رو توضیح بدین؟


من هر کاری میکنم سورها رو یاد نمیگیرم Confused
ممنونم.
نقل قول این ارسال در یک پاسخ

۳
ارسال:
  

Saman پاسخ داده:

RE: مبحث سورها

سلام
من مثال ۱۵ رو براتون ترجمه میکنم مثلا :

این جوری میشه :
اولش گفته هر کسی
یعنی چی؟
یعنی برای تمام کسانی که وجود دارند
همه ی کسانی که وجو دارن رو با یه x نشون میدیم.
[tex]\forall x[/tex]
دقیقا یک میشه همون فقطخودمونSmile و با این علامت نشونش میدیم[tex]\exists!y[/tex] حالا شما دقت کن که این y یکی دیگه هست.(جز همون مجموعه x ها هم میتونه باشه. فقط ما برای متمایز کردنش اسمشو گذاشتیم y )

حالا ترجمه این دوتا باهم : [tex]\forall x\exists!y[/tex] :

برای تمام کسانی که وجود دارند(هر کسی)دقیقایک یا فقط

در آخر هم گفته یک بهترین دوست دارد که با این نماد نشونش داده[tex]B(x\: ,\: y)[/tex]

دوباره برگردم همه شون رو توضیح میدم.

یکی از مشکلاتم اینه که گاهی در قسمت عطف و اگر و آنگاه دچار مشکل میشیم.اونا رو هم من توضیح میدم
نقل قول این ارسال در یک پاسخ

۳
ارسال:
  

Saman پاسخ داده:

RE: مبحث سورها

سلام

حل مثال ۱۶ هم اینجوری میشه : (من کاملا تصادفی انتخاب میکنم).به قولی ترجمه ش این میشه :

زنی وجود دارد
دقت کنید گفته زنی وجود دارد. نگفته برای تمام زنانی که وجود دارن. زنی یعنی [tex]\exists[/tex]
اگر میگفت برای تمام زنان. برای تمام انسان هایی که جنس مونث دارند میشد این [tex]\forall[/tex]
در ادامه :
با تمام خطوط هوایی یعنی این دفعه داریم [tex]\forall[/tex]

حالا این جا رو دقت کنید که خط هوای به پرواز میشه نسبت داده بشه . به همین خاطر هست که داریم :
[tex]f\: :\: Q(f\: ,\: a)[/tex]

برای [tex]W\: :\: p(w\: ,\: f)[/tex] هم دقیقا شبیه بالا هستش که داریم زن رو به پرواز کردنش نسبت میدیم.

یه قسمت حساس اینه :

[tex]\exists w\forall a\exists f[/tex]

سوالی که پیش میاد اینه : چرا قسمت [tex]\exists f[/tex] از جمله ی فارسی قابل استنباط نیست؟!

اگر دقیقا به جمله فارسی نگاه کنید قابل استنباطه! اما چطور ؟
زنی وجود دارد که با تمام خطوط هوایی پروازی کرده است.

حالا اون قسمت پروازی میشه این [tex]\exists f[/tex]
{این که نیومده بگه همزمان این سوار همه ی پرواز ها بوده)هر بار یه پروازی بوده.

حالا چرا وسط این دو عطف شده؟!
وسط این دو عطف شده چرا که از ذات مساله نمیشه اگر و آنگاه نتیجه گرفت. چون گاهی در مسائل آنگاه رو ذکر نمیکنه اما باید از مساله خودتون استنباطش کنید.

در این مورد همیشه متوجه این باشید که :
گاهی که ما از قانون اگر و آنگاه استفاده میکنیم جمله میتواند به انتفاع مقدم درست باشد.
چطور ؟
شما فرض کنید من مساله ۱۶ را در آخر کار به اگر و آنگاه تبدیل کنم :
[tex]p(w\: ,\: f)\: \Longrightarrow\: Q(f\: ,\: a)[/tex]

خب کافیست پروازی روی f موجود باشد!!! یعنی طرف راست مساله درست(true) باشد.
حال چون قانون شرطی(اگر و آنگاه داریم) کل مساله درست است و لازم نیست زنی باشد که پروازی انجام دهد.
در واقع کل نتیجه به انتفاع مقدم درست است.
پس باید هم زنی باشد و هم پروازی (یعنی عطف) که اگر یکی از دو قسمت غلط(false) شد کل نتیجه غلط شود.
عدم این وابستگی و دقت نکردن در این ها باعث اشتباه در ساختار منطقی جملات میشه.
------
نکاتی هم که در به کار گیری سور ها داریم مانند اینکه اگر و آنگه روی سور وجود هست یا نیست یا روی عطف هست یا نیست و غیره . در پیچیدگی مسائل به سادگی هر چه تمام تر نقض میشوند یا آدم رو دچار ابهام میکنند.
این روشی که من گفتم اینجا توی هیچ کتابی به این صراحت بیان نشده. بار ها و برا ها ازش تست اومده.
یه نمونه ش تستی هست که در هوش مصنوعی از بخش ارضا محدودیت اومده. که کل مسائله رو به انتفاع مقدم درست فرض کرده.و تقریبا تنها نکته ای که اگر بهش دقت کنید به جواب مسائل میرسید راحت، همینه.
نقل قول این ارسال در یک پاسخ

ارسال:
  

Majiid پاسخ داده:

RE: مبحث سورها

(۲۸ آذر ۱۳۹۵ ۰۳:۲۰ ب.ظ)samanbeigmiri نوشته شده توسط:  سلام

حل مثال ۱۶ هم اینجوری میشه : (من کاملا تصادفی انتخاب میکنم).به قولی ترجمه ش این میشه :
دمت گرم آقا سامان.خیلی ممنونم.
یافتن تمامی ارسال‌های این کاربر
نقل قول این ارسال در یک پاسخ

۱
ارسال:
  

Pure Liveliness پاسخ داده:

RE: مبحث سورها

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

ارسال:
  

SepidehP پاسخ داده:

RE: مبحث سورها

چه توضیحی میخواین؟.. اگه می گفتین کجاشو مشکل دارین بهتر میشد توضیح داد
نقل قول این ارسال در یک پاسخ



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  مبحث جستجوهای محلی Elham_tm ۷ ۳,۹۳۱ ۱۷ اسفند ۱۴۰۰ ۰۵:۴۳ ب.ظ
آخرین ارسال: KB2000
  مبحث شار، بیشینه جریان، الگوریتم Ford-Fulkerson Sepideh96 ۲ ۲,۵۶۱ ۰۳ بهمن ۱۳۹۶ ۰۴:۴۷ ق.ظ
آخرین ارسال: Sepideh96
  درخواست حل سوال از مبحث پایپلاین- دستورات حاوی پرش Sepideh96 ۱ ۱,۷۱۶ ۲۱ دى ۱۳۹۶ ۰۲:۴۰ ب.ظ
آخرین ارسال: msour44
  انتخاب گرایش ارشد برای فعالیت در مبحث رایانش ابری abolfazl_d_sh ۱ ۲,۳۲۶ ۱۵ اردیبهشت ۱۳۹۶ ۱۱:۳۶ ب.ظ
آخرین ارسال: rzeini
  سوال شماره ۵۵ شبکه _ آزمون ارشد ۹۱ _ مبحث لایه شبکه احسان مومنی ۷ ۷,۱۹۳ ۱۲ فروردین ۱۳۹۶ ۰۷:۳۵ ب.ظ
آخرین ارسال: ali.majed.ha
  مبحث حافظه نهان سوال دکتری ۹۶ arash691 ۲ ۲,۲۷۴ ۲۳ اسفند ۱۳۹۵ ۰۸:۵۳ ب.ظ
آخرین ارسال: arash691
  مبحث لگاریتم ها shamim1395 ۵ ۳,۷۵۶ ۳۰ آذر ۱۳۹۵ ۰۳:۵۴ ب.ظ
آخرین ارسال: shamim1395
  مبحث اعداد it 94 Hopegod ۲ ۱,۷۴۴ ۲۰ آذر ۱۳۹۵ ۱۲:۳۰ ب.ظ
آخرین ارسال: Hopegod
  سوال از مبحث درخت ها edward71 ۸ ۴,۴۰۷ ۱۶ آبان ۱۳۹۵ ۰۹:۲۶ ب.ظ
آخرین ارسال: Pure Liveliness
  یک سوال در فیزیک (مبحث القا) سیدرضا بازیار ۱ ۲,۱۸۶ ۱۶ مهر ۱۳۹۵ ۰۳:۲۴ ق.ظ
آخرین ارسال: Behnam‌

پرش به انجمن:

Can I see some ID?

به خاطر سپاری رمز Cancel

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close

رمزت رو فراموش کردی؟

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. close