۰
subtitle
ارسال: #۱
  
بیان جملات فارسی به سور و برعکس
با عرض سلام و خسته نباشیید
من این قسمت از مبحث سورها رو خوندم ولی چیزی متوجه نشدم یعنی چطوری بتونیم یه جمله ی فارسی که داریم به وسیله ی سورها بیان کنیم و یا برعکس سه سوری داشته باشیم بتونیم اون رو به جمله ی فارسی بیان کنیم. اگه ممکنه راهنمایی کنید و مرحله به مرحله توضیح بدهید. و در آخر هم بگویید راه حل کوتاه تری داره رو هم ذکر کنید. برای تست در کنکور از این قسمت باتشکر
سواالم : هر کسی دقیقا یک بهترین دوست دارد با سور بیان کنید.
سوال دوم : مثلا x (s(x) ^ M(x))Ʒ ( اشتباه شد ببخشیید سور وجودی و اشتراک s(x ) و M(x ) را به جمله ی فارسی تبدیل کنید.
هر کدوم از سوالات رو مرحله به مرحله توضیح بدهید باتشکر
من این قسمت از مبحث سورها رو خوندم ولی چیزی متوجه نشدم یعنی چطوری بتونیم یه جمله ی فارسی که داریم به وسیله ی سورها بیان کنیم و یا برعکس سه سوری داشته باشیم بتونیم اون رو به جمله ی فارسی بیان کنیم. اگه ممکنه راهنمایی کنید و مرحله به مرحله توضیح بدهید. و در آخر هم بگویید راه حل کوتاه تری داره رو هم ذکر کنید. برای تست در کنکور از این قسمت باتشکر
سواالم : هر کسی دقیقا یک بهترین دوست دارد با سور بیان کنید.
سوال دوم : مثلا x (s(x) ^ M(x))Ʒ ( اشتباه شد ببخشیید سور وجودی و اشتراک s(x ) و M(x ) را به جمله ی فارسی تبدیل کنید.
هر کدوم از سوالات رو مرحله به مرحله توضیح بدهید باتشکر
۱
ارسال: #۲
  
RE: بیان جملات فارسی به سور و برعکس
سلام. برای تبدیل کافیه هر عبارت رو به یک جمله یا شبه جمله تبدیل کنید. حالا ساده کردن جمله جداست.
توی جمله اول میتونید کل جمله رو یک عبارت بگیرید. از نظر منطقی مشکلی نداره ولی نمیشه از روش استنتاجی انجام داد. یعنی میتونیم بگیم [tex]\forall x; p(x)[/tex] که p به معنی دقیقاً یک بهترین دوست داشتن هست. ولی برای اینکه جملمون قابل استنتاج باشه باید عبارت فارسی رو به صورت زیر درنظر بگیریم.
برای هر شخص x، یک شخص بهترین دوست وجود دارد و تمام اشخاصی که بهترین دوست شخص x هستند، این اشخاص یک نفر هستند. یعنی:
[tex]\forall x; Q(x,y)\wedge (\forall y,z; Q(x,y)\wedge Q(x,z)\to y==z)[/tex]
به نظرم عبارتش همین میشه. [tex]Q(x,y)[/tex] یعنی y بهترین دوست x هست.
معنی جمله دوم میشه یک شیئ وجود دارد که هردو خاصیت M و S رو داشته باشه.
توی جمله اول میتونید کل جمله رو یک عبارت بگیرید. از نظر منطقی مشکلی نداره ولی نمیشه از روش استنتاجی انجام داد. یعنی میتونیم بگیم [tex]\forall x; p(x)[/tex] که p به معنی دقیقاً یک بهترین دوست داشتن هست. ولی برای اینکه جملمون قابل استنتاج باشه باید عبارت فارسی رو به صورت زیر درنظر بگیریم.
برای هر شخص x، یک شخص بهترین دوست وجود دارد و تمام اشخاصی که بهترین دوست شخص x هستند، این اشخاص یک نفر هستند. یعنی:
[tex]\forall x; Q(x,y)\wedge (\forall y,z; Q(x,y)\wedge Q(x,z)\to y==z)[/tex]
به نظرم عبارتش همین میشه. [tex]Q(x,y)[/tex] یعنی y بهترین دوست x هست.
معنی جمله دوم میشه یک شیئ وجود دارد که هردو خاصیت M و S رو داشته باشه.
ارسال: #۳
  
RE: بیان جملات فارسی به سور و برعکس
(۲۸ شهریور ۱۳۹۲ ۰۹:۳۲ ب.ظ)Jooybari نوشته شده توسط: سلام. برای تبدیل کافیه هر عبارت رو به یک جمله یا شبه جمله تبدیل کنید. حالا ساده کردن جمله جداست.
توی جمله اول میتونید کل جمله رو یک عبارت بگیرید. از نظر منطقی مشکلی نداره ولی نمیشه از روش استنتاجی انجام داد. یعنی میتونیم بگیم [tex]\forall x; p(x)[/tex] که p به معنی دقیقاً یک بهترین دوست داشتن هست. ولی برای اینکه جملمون قابل استنتاج باشه باید عبارت فارسی رو به صورت زیر درنظر بگیریم.
برای هر شخص x، یک شخص بهترین دوست وجود دارد و تمام اشخاصی که بهترین دوست شخص x هستند، این اشخاص یک نفر هستند. یعنی:
[tex]\forall x;Q(x,y)\wedge (\forall y,z; Q(x,y)\wedge Q(x,z)\to y==z)[/tex]
به نظرم عبارتش همین میشه. [tex]Q(x,y)[/tex] یعنی y بهترین دوست x هست.
معنی جمله دوم میشه یک شیئ وجود دارد که هردو خاصیت M و S رو داشته باشه.
البته جویبار جان ابتدای این عبارت از y استفاده کردید ولی اون رو تعریف نکردید. ولی به صورت کلی فکر کنم این عبارت اشتباه باشه.
فکر کنم این درست باشه
[tex]\forall x;exist y(Q(x,y)\wedge \forall z; (Q(x,z) \to y==z))[/tex]
ارسال: #۴
  
RE: بیان جملات فارسی به سور و برعکس
متشکر. باید y هم با شرط وجودی تعریف میکردم.
[tex]\forall x\exists y;Q(x,y)\wedge (\forall y,z; Q(x,y)\wedge Q(x,z)\to y==z)[/tex]
رابطه ای که شما نوشتید مشخص تره.
[tex]\forall x\exists y;Q(x,y)\wedge (\forall y,z; Q(x,y)\wedge Q(x,z)\to y==z)[/tex]
رابطه ای که شما نوشتید مشخص تره.
Can I see some ID?
Feeling left out?
نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close