(۰۴ بهمن ۱۳۹۱ ۰۱:۳۰ ق.ظ)Amir V نوشته شده توسط:  سلام.

بچه ها چرا ۱ غلطه؟ این مقسمی هم جواب نداده ...

والا نمی دونم جوابم درسته یا نه، ولی یادمه تو هوش مصنوعی که این سورها رو می خوندیم می گفتش که اعمال سور وجودی بر اگر آنگاه غیرمجاز است ... و سور وجودی بر عطف اعمال می شود
نمی دونم اینجا هم این حرف درسته یا نه

خب علیرضا جان دلیلش رو نمیدونی؟

(۰۴ بهمن ۱۳۹۱ ۰۲:۱۹ ق.ظ)Amir V نوشته شده توسط:  خب علیرضا جان دلیلش رو نمیدونی؟

دلیل علمیشو واقعا نه! نمی دونم
ولی دلیل لفظیش اگر دقت کنی تو معنی جمله است
مثالی رو از کتاب رامین رهنمون برات میارم
میگه که دانش آموزی در کلاس است که به ترکیه سفر کرده است.
اگر این رو اینجوری بنویسی :

[tex]\exists x (S(x)) \Rightarrow (T(x))[/tex]

از لحاظ معنی این مشکل رو داره که شاید دانش آموز لزوما در کلاس مورد نظر ما نباشه.
ویرایش : ترجیح دادم برم کتابو بیارم عین جملشو بنویسم: حتی اگر مقدم اشتباه باشد ( یعنی کسی در کلاس نیست) می تواند به ترکیه سفر کرده باشد
پس شکل صحیحش میشه :

[tex]\exists x (S(x)) \wedge (T(x))[/tex]

---

باز هم یه مثال دیگه واسه روشن تر شدن بحث :
جمله : هر دانش آموزی در کلاس ریاضی خوانده است
شکل صحیح :
[tex]\forall x (S(x) \Rightarrow C(x) )[/tex]

شکل اشتباه :
[tex]\forall x (S(x) \wedge C(x))[/tex]
معنی شکل اشتباه : هر فردی در این کلاس دانش آموز است و ریاضی خوانده است

سلام.
دقیقا.
سور عمومی با اگر آن گاه میاد.
سور وجودی با "اند".

حاج مهدی دلیلشم بگو که حفظ نکنم.

به نظرم اینجا یه مثال بزنید:
p رو در نظر بگیرید اعداد بزرگتر از ۰
A رو بگیرید -۱ و -۲ و -۳

خب حالا نتیجه عبارت سمت راست یه مجموعه تهی هست. چون هیچ عددی نیست که عضو A باشه و از ۰ هم بزرگتر باشه.

ولی مجموعه سمت چپ خالی نیست. مثلا عدد ۴ و ۵ و ...
چون گفته اگه عدد عضو A باشه آنگاه بزرگتر از ۰ باشه در صورتی که ۴ عضو A نیست ولی از ۰ بزرگتره.

پس دو عبارت معادل نیستند.

[tex]\exists [x\epsilon A\rightarrow P(x)]=\exists x [(\sim x\epsilon A)\vee P(x))])\neq \exists x\epsilon A[P(x))][/tex]

(۰۴ بهمن ۱۳۹۱ ۱۲:۴۰ ب.ظ)مورتن نوشته شده توسط:  [tex]\exists [x\epsilon A\rightarrow P(x)]=\exists x [(\sim x\epsilon A)\vee P(x))])\neq \exists x\epsilon A[P(x))][/tex]

آفرین
خوشم اومد
منم همیشه اینارو اینجوری حل میکنم!!!

امیر یه کم توضیحش طولانیه تورو می سپارم به صفحه ۲۳۴، ۲۳۵، ۲۳۶ کتاب پوران پژوهش بر طبق چاپ سال ۹۰/