(۰۴ بهمن ۱۳۹۱ ۰۲:۱۹ ق.ظ)Amir V نوشته شده توسط: خب علیرضا جان دلیلش رو نمیدونی؟
دلیل علمیشو واقعا نه! نمی دونم
ولی دلیل لفظیش اگر دقت کنی تو معنی جمله است
مثالی رو از کتاب رامین رهنمون برات میارم
میگه که دانش آموزی در کلاس است که به ترکیه سفر کرده است.
اگر این رو اینجوری بنویسی :
∃x(S(x))⇒(T(x))
از لحاظ معنی این مشکل رو داره که شاید دانش آموز لزوما در کلاس مورد نظر ما نباشه.
ویرایش : ترجیح دادم برم کتابو بیارم عین جملشو بنویسم: حتی اگر مقدم اشتباه باشد ( یعنی کسی در کلاس نیست) می تواند به ترکیه سفر کرده باشد
پس شکل صحیحش میشه :
∃x(S(x))∧(T(x))
باز هم یه مثال دیگه واسه روشن تر شدن بحث :
جمله : هر دانش آموزی در کلاس ریاضی خوانده است
شکل صحیح :
∀x(S(x)⇒C(x))
شکل اشتباه :
∀x(S(x)∧C(x))
معنی شکل اشتباه : هر فردی در این کلاس دانش آموز است و ریاضی خوانده است